Scarab: a Tool for SAT-based CP Systems
Scarab: a Tool for SAT-based CP Systems
复制标题
Scarab：基于 SAT 的 CP 系统的工具
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
歌剧年鉴
DOI：
--
发表时间：
1943
期刊：
影响因子：
--
作者：
Dyneley Hussey;A. Loewenberg
通讯作者：
A. Loewenberg
约束规划和整数规划的集成组合优化
DOI：
--
发表时间：
2000
期刊：
--
影响因子：
--
作者：
G. Ottosson
通讯作者：
G. Ottosson
优化线性系统切换
DOI：
--
发表时间：
2001
期刊：
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)
影响因子：
--
作者：
B. Lincoln;A. Rantzer
通讯作者：
A. Rantzer
一种基于切换时刻参数化的切换系统优化控制方法
DOI：
10.3182/20020721-6-es-1901.00310
发表时间：
2002
期刊：
IFAC Proceedings Volumes
影响因子：
--
作者：
Xuping Xu;P. Antsaklis
通讯作者：
P. Antsaklis
约束规划的原理和实践 – CP99
DOI：
--
发表时间：
1999
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
J. Jaffar
通讯作者：
J. Jaffar