掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA
8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
个人电脑
计算机辅助设计与图形学学报
信息技术与信息化
直通VIP
条码与信息系统
电脑乐园·学生电脑
家庭电子(维修版)
Windows IT Pro Magazine: 国际中文版
计算机与现代化
计算机工程与科学
更多>>
相关外文期刊
International Journal of Uncertainty, Fuzziness, and Knowledge-based Systems
ACM transactions on sensor networks
Advances in computational sciences and technology
Concurrency and computation: practice and experience
C - C++ Users Journal
Foundations and trends in databases
Computers in Human Behavior
Network Computing
ACM transactions on multimedia computing communications and applications
International journal of artificial intelligence and soft computing
更多>>
相关中文会议
2006电力行业信息化年会
中国计算机用户协会信息系统分会2003年信息技术交流大会
第七届全国信息隐藏暨多媒体信息安全学术大会
首届过程装备与控制工程论坛
第7届中国机器学习学术会议
第七届全国青年智能机器人学术会议
2012全国计算机体系结构学术年会
第十五届全国容错计算学术会议(CFTC'13)
第二十届全国网络与数据通信学术会议
第四届全国知识组织与知识链接学术交流会
更多>>
相关外文会议
2013 26th Conference on Graphics, Patterns and Images
Multimodal pattern recognition of social signals in human - computer - interaction
Intelligent Networking and Collaborative Systems, 2009. INCOS '09
World Multiconference on Systemics, Cybernetics and Informatics(SCI 2002) v.8: Concepts and Applications of Systemics, Cybernetics and Informatics II; 20020714-20020718; Orlando,FL; US
First International Conference on Computational Methods and Testing for Engineering Integrity, on 19-21 March 1996, in Kuala Lumpur, Malaysia
DC Traction Stray Current Control - Offer a Stray a Good Ohm?
Haptic and audio interaction design.
Proceedings of the Conference on Design, automation and test in Europe
2015 International Conference on Developments of E-Systems Engineering
Discrete Geometry, Combinatorics and Graph Theory; Lecture Notes in Computer Science; 4381
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Algebraic Properties of CSP Model Operators
机译:
CSP模型算子的代数性质
作者:
Y. C. Law
;
Jimmy H. M. Lee
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
2.
Amplification of Search Performance through Randomization of Heuristics
机译:
通过启发式随机化扩大搜索性能
作者:
Vincent A. Cicirello
;
Stephen F. Smith
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
3.
Beyond NP: Arc-Consistency for Quantified Constraints
机译:
超越NP:量化约束的弧一致性
作者:
Lucas Bordeaux
;
Eric Monfroy
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
4.
Characterizing SAT Problems with the Row Convexity Property
机译:
利用行凸性描述SAT问题
作者:
Hachemi Bennaceur
;
Chu Min Li
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
5.
An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint
机译:
最小权重所有不同约束的弧一致性算法
作者:
Meinolf Sellmann
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
关键词:
optimization constraint;
cost based filtering;
all different constraint;
minimum weight all different constraint;
MinWeightAllDiff;
IlcAllDiffCost;
6.
Continuous First-Order Constraint Satisfaction with Equality and Disequality Constraints
机译:
带有等式和不等式约束的连续一阶约束满足
作者:
Stefan Ratschan
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
7.
Breaking Row and Column Symmetries in Matrix Models
机译:
打破矩阵模型中的行和列对称性
作者:
Pierre Flener
;
Alan M. Frisch
;
Brahim Hnich
;
Zeynep Kiziltan
;
Ian Miguel
;
Justin Pearson
;
Toby Walsh
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
8.
Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints
机译:
通过ATM网络重新路由进行连接保留:具有约束的混合方法
作者:
Muriel Lauvergne
;
Philippe David
;
Patrice Boizumault
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
9.
Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems
机译:
解决动态调度问题的基于冲突的修复技术
作者:
Abdallah Elkhyari
;
Christelle Gueret
;
Narendra Jussien
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
10.
Constraint Programming Contribution to Benders Decomposition: A Case Study
机译:
约束程序对Benders分解的贡献:一个案例研究
作者:
Thierry Benoist
;
Etienne Gaudin
;
Benoit Rottembourg
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
11.
Determining the Number of Solutions to Binary CSP Instances
机译:
确定二进制CSP实例的解决方案数量
作者:
Ola Angelsmark
;
Peter Jonsson
;
Svante Linusson
;
Johan Thapper
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
12.
Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem
机译:
正交拉丁方问题的约束和整数规划的集成
作者:
Gautam Appa
;
Ioannis Mourtos
;
Dimitris Magos
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
13.
Learning and Solving Soft Temporal Constraints: An Experimental Study
机译:
学习和解决软性时间限制:一项实验研究
作者:
Francesca Rossi
;
Alessandro Sperduti
;
Kristen B. Venable
;
Lina Khatib
;
Paul Morris
;
Robert Morris
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
14.
A Hybrid Approach for SAT
机译:
SAT的混合方法
作者:
Djamal Habet
;
Chu Min Li
;
Laure Devendeville
;
Michel Vasquez
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
15.
A Modeling Framework for Constraints
机译:
约束建模框架
作者:
Gerrit Renker
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
16.
A Dual Graph Translation of a Problem in 'Life'
机译:
“生活”中问题的对偶图翻译
作者:
Barbara M. Smith
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
17.
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations
机译:
二次方程和不等式处理系统的全局滤波算法
作者:
Yahia Lebbah
;
Michel Rueher
;
Claude Michel
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
18.
Symmetry Breaking Revisited
机译:
再谈对称破缺
作者:
Jean-Francois Puget
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
19.
Restart Policies with Dependence among Runs: A Dynamic Programming Approach
机译:
运行之间具有依赖性的重新启动策略:动态编程方法
作者:
Yongshao Ruan
;
Eric Horvitz
;
Henry Kautz
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
20.
Temporal Planning through Mixed Integer Programming: A Preliminary Report
机译:
通过混合整数编程进行时间规划:初步报告
作者:
Yannis Dimopoulos
;
Alfonso Gerevini
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
21.
The Adaptive Constraint Engine
机译:
自适应约束引擎
作者:
Susan L. Epstein
;
Eugene C. Freuder
;
Richard Wallace
;
Anton Morozov
;
Bruce Samuels
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
22.
Criticality and Parallelism in Structured SAT Instances
机译:
结构化SAT实例中的临界度和并行性
作者:
Andrea Roli
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
23.
Visopt ShopFloor: On the Edge of Planning and Scheduling
机译:
Visopt ShopFloor:在计划和调度的边缘
作者:
Roman Bartak
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
24.
Inferring Constraint Types in Constraint Programming
机译:
在约束编程中推断约束类型
作者:
David Lesaint
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
25.
Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions
机译:
学习优化问题的经验难度:以组合拍卖为例
作者:
Kevin Leyton-Brown
;
Eugene Nudelman
;
Yoav Shoham
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
26.
Modeling Camera Control with Constrained Hypertubes
机译:
使用约束超管对摄像机控制建模
作者:
Marc Christie
;
Eric Languenou
;
Laurent Granvilliers
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
27.
A Relaxation of the Cumulative Constraint
机译:
累积约束的松弛
作者:
John N. Hooker
;
Hong Yan
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
28.
Partial Symmetry Breaking
机译:
部分对称破坏
作者:
Iain McDonald
;
Barbara Smith
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
29.
AC-3_d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity
机译:
AC-3_d一种低空间复杂度的高效电弧一致性算法
作者:
Marc R. C. van Dongen
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
30.
Recovering and Exploiting Structural Knowledge from CNF Formulas
机译:
从CNF公式中恢复和利用结构知识
作者:
Richard Ostrowski
;
Eric Gregoire
;
Bertrand Mazure
;
Lakhdar Saies
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
关键词:
SAT;
boolean logic;
prepositional reasoning and search;
31.
Range-Based Algorithm for Max-CSP
机译:
Max-CSP的基于范围的算法
作者:
Thierry Petit
;
Jean-Charles Regin
;
Christian Bessiere
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
32.
Reduced Cost-Based Ranking for Generating Promising Subproblems
机译:
降低基于成本的排名,以产生有希望的子问题
作者:
Michela Milano
;
Willem J. van Hoeve
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
33.
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
机译:
约束满意度,有界树宽和有限变量逻辑
作者:
Victor Dalmau
;
Phokion G. Kolaitis
;
Moshe Y. Vardi
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
34.
Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions
机译:
基本方向定性空间推理的一致性检查
作者:
Spiros Skiadopoulos
;
Manolis Koubarakis
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
35.
Communication and Computation in Distributed CSP Algorithms
机译:
分布式CSP算法中的通信与计算
作者:
Cesar Fernandez
;
Ramon Bejar
;
Bhaskar Krishnamachari
;
Carla Gomes
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
36.
Computing the Envelope for Stepwise-Constant Resource Allocations
机译:
计算包络以进行逐步恒定的资源分配
作者:
Nicola Muscettola
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
37.
Groups and Constraints: Symmetry Breaking during Search
机译:
组和约束:搜索过程中的对称性破坏
作者:
Ian P. Gent
;
Warwick Harvey
;
Tom Kelsey
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
38.
Global Constraints for Lexicographic Orderings
机译:
词典顺序的全局约束
作者:
Alan Frisch
;
Brahim Hnich
;
Zeynep Kiziltan
;
Ian Miguel
;
Toby Walsh
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
39.
Heuristic Constraint Propagation
机译:
启发式约束传播
作者:
Meinolf Sellmann
;
Warwick Harvey
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
关键词:
redundant constraints;
local search;
incomplete propagation;
social golfer problem;
40.
Indexical-Based Solver Learning
机译:
基于索引的求解器学习
作者:
Thi Bich Hanh Dao
;
Arnaud Lallouet
;
Andrei Legtchenko
;
Lionel Martin
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
关键词:
CSP;
consistency;
learning;
rule-based constraint solver;
41.
Improving GSAT Using 2SAT
机译:
使用2SAT改善GSAT
作者:
Peter J. Stuckey
;
Lei Zheng
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
42.
Local Probing Applied to Scheduling
机译:
本地探测应用于调度
作者:
Olli Kamarainen
;
Hani El Sakkout
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
43.
Interchangeability in Soft CSPs
机译:
软CSP中的互换性
作者:
Stefano Bistarelli
;
Boi Faltings
;
Nicoleta Neagu
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
44.
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
机译:
基于模型的编程:通过推理隐藏状态来控制嵌入式系统
作者:
Brian C. Williams
;
Michel D. Ingham
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
45.
A New Multi-resource cumulatives Constraint with Negative Heights
机译:
具有负高度的新的多资源累积约束
作者:
Nicolas Beldiceanu
;
Mats Carlsson
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
46.
A Relational Constraint Solver for Model-Based Engineering
机译:
基于模型的工程的关系约束求解器
作者:
Jakob Mauss
;
Frank Seelisch
;
Mugur Tatar
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
47.
On Optimal Correction of Inconsistent Linear Constraints
机译:
关于不一致线性约束的最佳校正
作者:
Paula Amaral
;
Pedro Barahona
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
48.
On Constraint Problems with Incomplete or Erroneous Data
机译:
关于数据不完整或错误的约束问题
作者:
Neil Yorke-Smith
;
Carmen Gervet
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
49.
Accelerating Random Walks
机译:
加快随机游走
作者:
Wei Wei
;
Bart Selman
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
50.
On the Sum Constraint: Relaxation and Applications
机译:
关于总和约束:松弛和应用
作者:
Tallys H. Yunes
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
51.
Open Constraint Satisfaction
机译:
开放约束满足
作者:
Boi Faltings
;
Santiago Macho-Gonzalez
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
52.
Opportunistic Specialization in Russian Doll Search
机译:
俄罗斯娃娃搜索中的机会专业化
作者:
Pedro Meseguer
;
Marti Sanchez
;
Gerard Verfaillie
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
53.
Scaling Properties of Pure Random Walk on Random 3-SAT
机译:
随机3-SAT上纯随机游动的缩放性质
作者:
Andrew J. Parkes
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
54.
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT
机译:
缩放和概率平滑:SAT的高效动态本地搜索
作者:
Frank Hutter
;
Dave A. D. Tompkins
;
Holger H. Hoos
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
55.
Robust and Parallel Solving of a Network Design Problem
机译:
网络设计问题的鲁棒并行解决
作者:
Claude Le Pape
;
Laurent Perron
;
Jean-Charles Regin
;
Paul Shaw
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
56.
Resolution Complexity of Random Constraints
机译:
随机约束的分辨率复杂度
作者:
David G. Mitchell
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
57.
Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information
机译:
安全的分布式约束满意度:在不泄露私人信息的情况下达成协议
作者:
Makoto Yokoo
;
Koutarou Suzuki
;
Katsutoshi Hirayama
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
58.
Solving the Kirkman's Schoolgirl Problem in a Few Seconds
机译:
在几秒钟内解决柯克曼的女学生问题
作者:
Nicolas Barnier
;
Pascal Brisset
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
关键词:
symmetry breaking;
social golfer problem;
resolvable steiner systems;
59.
Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation
机译:
在量化布尔公式评估中寻求满足与冲突的对称处理
作者:
Lintao Zhang
;
Sharad Malik
会议名称:
《8th International Conference on Principles and Practice of Constraint Programming ― CP 2002, Sep 9-13, 2002, Ithaca, NY, USA》
|
2002年
意见反馈
回到顶部
回到首页