掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Principles and Practice of Constraint Programming
International Conference on Principles and Practice of Constraint Programming
召开年:
2019
召开地:
Stamford(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Generalizing AllDifferent: The SomeDifferent Constraint
机译:
概括alldifferent:Somedifferent的约束
作者:
Yossi Richter
;
Ari Freund
;
Yehuda Naveh
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
2.
Boosting Open CSPs
机译:
提升开放的CSP.
作者:
Santiago Macho Gonzalez
;
Carlos Ansotegui
;
Pedro Meseguer
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
3.
A Structural Characterization of Temporal Dynamic Controllability
机译:
时间动态可控性的结构特征
作者:
Paul Morris
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
4.
Sports League Scheduling: Enumerative Search for Prob026 from CSPLib
机译:
体育联盟调度:枚举来自CSPLIB的prob026
作者:
Jean-Philippe Hamiez
;
Jin-Kao Hao
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
5.
Graph Properties Based Filtering
机译:
基于图形属性的过滤
作者:
Nicolas Beldiceanu
;
Mats Carlsson
;
Sophie Demassey
;
Thierry Petit
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
6.
Dynamic Symmetry Breaking Restarted
机译:
动态对称断裂重新启动
作者:
Daniel S. Heller
;
Meinolf Sellmann
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
7.
Approximability of Integer Programming with Generalised Constraints
机译:
具有广义约束的整数编程的近似性
作者:
Peter Jonsson
;
Fredrik Kuivinen
;
Gustav Nordh
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
8.
High-Level Nondeterministic Abstractions in
机译:
高级别的非季度抽象
作者:
Laurent Michel
;
Andrew See
;
Pascal Van Hentenryck
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
9.
High-Level Nondeterministic Abstractions in C++
机译:
C ++中的高级别非匹配抽象
作者:
Laurent Michel
;
Andrew See
;
Pascal Van Hentenryck
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
10.
Randomization in Constraint Programming for Airline Planning
机译:
航空公司规划约束规划的随机化
作者:
Lars Otten
;
Mattias Gronkvist
;
Devdatt Dubhashi
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
11.
An Algebraic Characterisation of Complexity for Valued Constraints
机译:
价值约束复杂性的代数特征
作者:
David A. Cohen
;
Martin C. Cooper
;
Peter G. Jeavons
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
12.
Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs
机译:
在MPsocs中有条件任务图的随机分配和调度
作者:
Michele Lombardi
;
Michela Milano
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
13.
Constraint Propagation for Domain Bounding in Distributed Task Scheduling
机译:
分布式任务调度中域限定的约束传播
作者:
Evan A. Sultanik
;
Pragnesh Jay Modi
;
William C. Regli
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
14.
A Note on Low Autocorrelation Binary Sequences
机译:
关于低自相关二进制序列的注释
作者:
Ivan Dotu
;
Pascal Van Hentenryck
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
15.
Revisiting the Sequence Constraint
机译:
重新审视序列约束
作者:
Willem-Jan van Hoeve
;
Gilles Pesant
;
Louis-Martin Rousseau
;
Ashish Sabharwal
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
16.
Constraint Programming Models for Graceful Graphs
机译:
优雅图形的约束编程模型
作者:
Barbara M. Smith
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
17.
Global Optimization of Probabilistically Constrained Linear Programs
机译:
概率限制线性计划的全局优化
作者:
Shabbir Ahmed
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
18.
Constraint Satisfaction with Bounded Treewidth Revisited
机译:
与有界树木宽度的约束满意度重新审视
作者:
Marko Samer
;
Stefan Szeider
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
19.
Reasoning by Dominance in Not-Equals Binary Constraint Networks
机译:
在不等于二元约束网络的优势推理
作者:
Belaid Benhamou
;
Mohamed Reda Saidi
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
20.
Localization of an Underwater Robot Using Interval Constraint Propagation
机译:
使用间隔约束传播的水下机器人定位
作者:
Luc Jaulin
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2006年
21.
Hierarchical Hardness Models for SAT
机译:
SAT的分层硬度模型
作者:
Lin Xu
;
Holger H. Hoos
;
Kevin Leyton-Brown
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
22.
Solution Counting Algorithms for Constraint-Centered Search Heuristics
机译:
解决居中搜索启发式的解决方案计数算法
作者:
Alessandro Zanarini
;
Gilles Pesant
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
23.
CP-Based Local Branching
机译:
基于CP的本地分支
作者:
Zeynep Kiziltan
;
Andrea Lodi
;
Michela Milano
;
Fabio Parisini
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
24.
Min-Domain Ordering for Asynchronous Backtracking
机译:
异步回溯的Min-Domain排序
作者:
Roie Zivan
;
Moshe Zazone
;
Amnon Meisels
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
25.
Scheduling for Cellular Manufacturing
机译:
蜂窝制造的调度
作者:
Roman van der Krogt
;
James Little
;
Kenneth Pulliam
;
Sue Hanhilammi
;
Yue Jin
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
26.
Breaking Symmetry of Interchangeable Variables and Values
机译:
打破可互换变量和值的对称性
作者:
Y.C. Law
;
J.H.M. Lee
;
Toby Walsh
;
J.Y.K. Yip
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
27.
Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks
机译:
符合条件和冻结的约束,用于解决时间定性约束网络
作者:
Jean-Francois Condotta
;
Gerard Ligozat
;
Mahmoud Saade
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
28.
Reformulating CSPs for Scalability with Application to Geospatial Reasoning
机译:
用适用于地理空间推理的可扩展性重新制定CSP
作者:
Kenneth M. Bayer
;
Martin Michalowski
;
Berthe Y. Choueiry
;
Craig A. Knoblock
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
29.
Local Symmetry Breaking During Search in CSPs
机译:
在CSP中搜索期间局部对称性打破
作者:
Belaid Benhamou
;
Mohamed Reda Saidi
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
30.
Decomposing Global Grammar Constraints
机译:
分解全球语法约束
作者:
Claude-Guy Quimper
;
Toby Walsh
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
31.
Solving the Salinity Control Problem in a Potable Water System
机译:
解决饮用水系统中的盐度控制问题
作者:
Chiu Wo Choi
;
Jimmy H. M. Lee
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
32.
Sampling Strategies and Variable Selection in Weighted Degree Heuristics
机译:
加权度启发式中的采样策略和变量选择
作者:
Diarmuid Grimes
;
Richard J. Wallace
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
33.
Tradeoffs in the Complexity of Backdoor Detection
机译:
后门检测复杂性的权衡
作者:
Bistra Dilkina
;
Carla P. Gomes
;
Ashish Sabharwal
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
34.
A Multi-engine Solver for Quantified Boolean Formulas
机译:
用于量化布尔公式的多发动机求解器
作者:
Luca Pulina
;
Armando Tacchella
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
35.
Filtering for Subgraph Isomorphism
机译:
过滤子图同构
作者:
Stephane Zampelli
;
Yves Deville
;
Christine Solnon
;
Sebastien Sorlin
;
Pierre Dupont
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
36.
Solution Directed Backjumping for QCSP
机译:
解决方案针对QCSP的后颠达
作者:
Fahiem Bacchus
;
Kostas Stergiou
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
37.
Breaking Symmetry of Interchangeable Variables and Values
机译:
打破可互换变量和值的对称性
作者:
Y. C. Law
;
J. H. M. Lee
;
Toby Walsh
;
J. Y. K. Yip
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
38.
Parallelizing Constraint Programs Transparently
机译:
透明地并行化约束计划
作者:
Laurent Michel
;
Andrew See
;
Pascal Van Hentenryck
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
39.
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects
机译:
处理多态K维物体的空间和时间的通用几何约束内核
作者:
N. Beldiceanu
;
M. Carlsson
;
E. Poder
;
R. Sadek
;
C. Truchet
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
40.
On Universal Restart Strategies for Backtracking Search
机译:
关于回溯搜索的通用重启策略
作者:
Huayue Wu
;
Peter van Beek
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
41.
Encodings of the Sequence Constraint
机译:
序列约束的编码
作者:
Sebastian Brand
;
Nina Narodytska
;
Claude-Guy Quimper
;
Peter Stuckey
;
Toby Walsh
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
42.
The Expressive Power of Valued Constraints: Hierarchies and Collapses
机译:
有价值的约束的表现力:层次结构和崩溃
作者:
David A. Cohen
;
Peter G. Jeavons
;
Stanislav Zivny
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
43.
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT
机译:
通过变量重命名的结构放松及其求解Mincostsat的汇编
作者:
Miquel Ramirez
;
Hector Geffner
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
44.
Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite
机译:
估计自主敏捷地球观察卫星的态度变化的最小持续时间
作者:
Gregory Beaumet
;
Gerard Verfaillie
;
Marie-Claire Charmeau
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
45.
Breaking Value Symmetry
机译:
打破价值对称性
作者:
Toby Walsh
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
46.
Strong Controllability of Disjunctive Temporal Problems with Uncertainty
机译:
不确定性析出时间问题的强大可控性
作者:
Bart Peintner
;
Kristen Brent Venable
;
Neil Yorke-Smith
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
47.
Encodings of the SEQUENCE Constraint
机译:
序列约束的编码
作者:
Sebastian Brand
;
Nina Narodytska
;
Claude-Guy Quimper
;
Peter Stuckey
;
Toby Walsh
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
48.
A Case for Simple SAT Solvers
机译:
简单的SAT溶剂的案例
作者:
Jinbo Huang
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
49.
The Expressive Power of Valued Constraints: Hierarchies and Collapses
机译:
有价值的约束的表现力:层次结构和崩溃
作者:
David A. Cohen
;
Peter G. Jeavons
;
Stanislav Zivny
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
50.
Path Consistency by Dual Consistency
机译:
通过双重一致性的路径一致性
作者:
Christophe Lecoutre
;
Stephane Cardon
;
Julien Vion
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
51.
An Efficient Model and Strategy for the Steel Mill Slab Design Problem
机译:
钢厂平板设计问题的有效模型与策略
作者:
Antoine Gargani
;
Philippe Refalo
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
52.
On Inconsistent Clause-Subsets for Max-SAT Solving
机译:
关于MAX-SAT解决的不一致子句 - 子集
作者:
Sylvain Darras
;
Gilles Dequen
;
Laure Devendeville
;
Chu-Min Li
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
关键词:
Max-SAT;
Unit Propagation;
Inconsistent Subset;
53.
An Analysis of Slow Convergence in Interval Propagation
机译:
间隔传播缓慢收敛性分析
作者:
Lucas Bordeaux
;
Youssef Hamadi
;
Moshe Y. Vardi
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
54.
Groupoids and Conditional Symmetry
机译:
Galoids和有条件对称
作者:
I.P. Gent
;
T. Kelsey
;
S.A. Linton
;
J. Pearson
;
CM. Roney-Dougal
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
55.
Uncertainty in Bipolar Preference Problems
机译:
双极偏好问题的不确定性
作者:
Stefano Bistarelli
;
Maria Silvia Pini
;
Francesca Rossi
;
K. Brent Venable
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
56.
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs
机译:
基于成本的模型和算法,用于交织解决和CSP的elication
作者:
Nic Wilson
;
Diarmuid Grimes
;
Eugene C. Preuder
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
57.
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs
机译:
基于成本的模型和算法,用于交织解决和CSP的elication
作者:
Nic Wilson
;
Diarmuid Grimes
;
Eugene C. Freuder
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
58.
The Log-Support Encoding of CSP into SAT
机译:
CSP的日志支持编码到SAT中
作者:
Marco Gavanelli
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
59.
A Constraint Store Based on Multivalued Decision Diagrams
机译:
基于多值决策图的约束存储
作者:
H. R. Andersen
;
T. Hadzic
;
J. N. Hooker
;
P. Tiedemann
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
60.
Solving the Salinity Control Problem in a Potable Water System
机译:
解决饮用水系统中的盐度控制问题
作者:
Chiu Wo Choi
;
Jimmy H.M. Lee
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
61.
SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT
机译:
Satzilla-07:SAT算法组合的设计和分析
作者:
Lin Xu
;
Frank Hutter
;
Holger H. Hoos
;
Kevin Leyton-Brown
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
62.
Constraint Symmetry for the Soft CSP
机译:
软CSP的约束对称性
作者:
Barbara M. Smith
;
Stefano Bistarelli
;
Barry OSullivan
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
63.
Constraint-Based Temporal Reasoning for E-Learning with LODE
机译:
基于约束的洛典的电子学习的时间推理
作者:
Rosella Gennari
;
Ornella Mich
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
关键词:
constraint programming;
automated temporal reasoning;
e-learning;
assistive technology;
64.
Of Mousetraps and Men: A Cautionary Tale
机译:
捕鼠器和男人:警示故事
作者:
Matt Ginsberg
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
65.
A Compression Algorithm for Large Arity Extensional Constraints
机译:
大arity扩展约束的压缩算法
作者:
George Katsirelos
;
Toby Walsh
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
66.
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
机译:
基于抽象的基于组合器,用于建模时循环编程
作者:
Tristan Denmat
;
Arnaud Gotlieb
;
Mireille Ducasse
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
67.
Scheduling Conditional Task Graphs
机译:
调度条件任务图
作者:
Michele Lombardi
;
Michela Milano
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
68.
Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques
机译:
使用约束满足技术在一个实施方式设计上下文中解决空调系统问题
作者:
Raphaeel Chenouard
;
Patrick Sebastian
;
Laurent Granvilliers
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
69.
CP-Based Local Branching
机译:
基于CP的本地分支
作者:
Zeynep Kiziltan
;
Andrea Lodi
;
Michela Milano
;
Fabio Parisini
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
70.
A Constraint Store Based on Multivalued Decision Diagrams
机译:
基于多值决策图的约束存储
作者:
H.R. Andersen
;
T.Hadzic
;
J.N. Hooker
;
P. Tiedemann
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
71.
Limitations of Restricted Branching in Clause Learning
机译:
条款学习中受限制分支的限制
作者:
Matti Jarvisalo
;
Tommi Junttila
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
72.
An Efficient Model and Strategy for the Steel Mill Slab Design Problem
机译:
钢厂平板设计问题的有效模型与策略
作者:
Antoine Gargani
;
Philippe Refalo
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
73.
A Multi-engine Solver for Quantified Boolean Formulas
机译:
用于量化布尔公式的多发动机求解器
作者:
Luca Pulina
;
Armando Tacchella
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
74.
On Inconsistent Clause-Subsets for Max-SAT Solving
机译:
关于MAX-SAT解决的不一致子句 - 子集
作者:
Sylvain Darras
;
Gilles Dequen
;
Laure Devendeville
;
Chu-Min Li
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
关键词:
Max-SAT;
unit propagation;
inconsistent subset;
75.
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
机译:
高效计算Metagraph Close的最小点代数限制
作者:
Alfonso Gerevini
;
Alessandro Saetti
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
76.
An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing
机译:
约束规划对钢制造业生成详细运营计划的应用
作者:
Andrew Davenport
;
Jayant Kalagnanam
;
Chandra Reddy
;
Stuart Siegel
;
John Hou
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
77.
MUST: Provide a Finer-Grained Explanation of Unsatisfiability
机译:
必须:提供更精细的对不可起可取性的解释
作者:
Eric Gregoire
;
Bertrand Mazure
;
Cedric Piette
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
关键词:
CSP;
constraint networks;
explanation;
unsatisfiability;
MUC;
MUS;
MUST;
78.
Model-Driven Visualizations of Constraint-Based Local Search
机译:
基于约束的本地搜索的模型驱动可视化
作者:
Gregoire Dooms
;
Pascal Van Hentenryck
;
Laurent Michel
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
79.
Breaking Value Symmetry
机译:
打破价值对称性
作者:
Toby Walsh
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
80.
Exploring Different Constraint-Based Modelings for Program Verification
机译:
探索基于约束的基于约束的造型,以进行程序验证
作者:
Helene Collavizza
;
Michel Rueher
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
81.
Valid Inequality Based Lower Bounds for WCSP
机译:
基于WCSP的有效不等式的下限
作者:
Mohand Ou Idir Khemmoudj
;
Hachemi Bennaceur
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
82.
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
机译:
高效计算Metagraph Close的最小点代数限制
作者:
Alfonso Gerevini
;
Alessandro Saetti
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
83.
AND/OR Multi-valued Decision Diagrams for Constraint Optimization
机译:
和/或约束优化的多价决策图
作者:
Robert Mateescu
;
Radu Marinescu
;
Rina Dechter
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
84.
Boosting Probabilistic Choice Operators
机译:
提升概率选择操作员
作者:
Matthieu Petit
;
Arnaud Gotlieb
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
85.
Propagation = Lazy Clause Generation
机译:
传播= Lazy子句生成
作者:
Olga Ohrimenko
;
Peter J. Stuckey
;
Michael Codish
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
86.
Boosting Probabilistic Choice Operators
机译:
提升概率选择操作员
作者:
Matthieu Petit
;
Arnaud Gotlieb
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
87.
An LP-Based Heuristic for Optimal Planning
机译:
基于LP的启发式,以获得最佳规划
作者:
Menkes van den Briel
;
J. Benton
;
Subbarao Kambhampati
;
Thomas Vossen
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
关键词:
Automated planning;
Improving admissible heuristics;
Optimal relaxed planning;
88.
MiniZinc: Towards a Standard CP Modelling Language
机译:
MINIZINC:迈向标准的CP造型语言
作者:
Nicholas Nethercote
;
Peter J. Stuckey
;
Ralph Becket
;
Sebastian Brand
;
Gregory J. Duck
;
Guido Tack
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
89.
Groupoids and Conditional Symmetry
机译:
Galoids和有条件对称
作者:
I. P. Gent
;
T. Kelsey
;
S. A. Linton
;
J. Pearson
;
C. M. Roney-Dougal
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
90.
Constructive Interval Disjunction
机译:
建设性间隔脱位
作者:
Gilles Trombettoni
;
Gilles Chabert
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
91.
Advisors for Incremental Propagation
机译:
增量传播的顾问
作者:
Mikael Z. Lagerkvist
;
Christian Schulte
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
92.
Scheduling for Cellular Manufacturing
机译:
蜂窝制造的调度
作者:
Roman van der Krogt
;
James Little
;
Kenneth Pulliam
;
Sue Hanhilammi
;
Yue Jin
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
93.
Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques
机译:
使用约束满足技术在一个实施方式设计上下文中解决空调系统问题
作者:
Raphael Chenouard
;
Patrick Sebastian
;
Laurent Granvilliers
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
94.
MUST: Provide a Finer-Grained Explanation of Unsatisfiability
机译:
必须:提供更精细的对不可起可取性的解释
作者:
Eric Gregoire
;
Bertrand Mazure
;
Cedric Piette
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
关键词:
CSP;
Constraint networks;
Explanation;
Unsatisfiability;
MUC;
MUS;
MUST;
95.
Min-Domain Ordering for Asynchronous Backtracking
机译:
异步回溯的Min-Domain排序
作者:
Roie Zivan
;
Moshe Zazone
;
Amnon Meisels
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
96.
MiniZinc: Towards a Standard CP Modelling Language
机译:
MINIZINC:迈向标准的CP造型语言
作者:
Nicholas Nethercote
;
Peter J. Stuckey
;
Ralph Becket
;
Sebastian Brand
;
Gregory J. Duck
;
Guido Tack
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
97.
Constraint Symmetry for the Soft CSP
机译:
软CSP的约束对称性
作者:
Barbara M. Smith
;
Stefano Bistarelli
;
Barry OSullivan
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
98.
Towards Robust CNF Encodings of Cardinality Constraints
机译:
朝着基数限制的强大CNF编码
作者:
Joao Marques-Silva
;
Ines Lynce
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
99.
SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT
机译:
Satzilla-07:SAT算法组合的设计和分析
作者:
Lin Xu
;
Frank Hutter
;
Holger H. Hoos
;
Kevin Leyton-Brown
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
100.
Path Consistency by Dual Consistency
机译:
通过双重一致性的路径一致性
作者:
Christophe Lecoutre
;
Stephane Cardon
;
Julien Vion
会议名称:
《International Conference on Principles and Practice of Constraint Programming》
|
2007年
意见反馈
回到顶部
回到首页