掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Concurrent Constraint Programming Research Programmes - Redux
机译:
并发约束编程研究程序-Redux
作者:
Vijay Saraswat
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
2.
On Broken Triangles
机译:
在破碎的三角形上
作者:
Martin C. Cooper
;
Achref El Mouelhi
;
Cyril Terrioux
;
Bruno Zanuttini
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
3.
Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models
机译:
图形模型中深度优先搜索的内存有效树大小预测
作者:
Levi H.S. Lelis
;
Lars Otten
;
Rina Dechter
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
4.
Higher-Order Consistencies through GAC on Factor Variables
机译:
通过GAC对因子变量进行高阶一致性
作者:
Chavalit Likitvivatanavong
;
Wei Xia
;
Roland H. C. Yap
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
5.
Using CP in Automatic Test Generation for ABB Robotics' Paint Control System
机译:
在自动测试生成中使用CP进行ABB机器人的油漆控制系统
作者:
Morten Mossige
;
Arnaud Gotlieb
;
Hein Meling
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
6.
On Compiling CNF into Decision-DNNF
机译:
关于将CNF编译成Decision-DNNF
作者:
Umut Oztok
;
Adnan Darwiche
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
7.
A Modular Architecture for Hybrid Planning with Theories
机译:
具有理论的混合规划的模块化体系结构
作者:
Maria Fox
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
8.
Teaching Constraint Programming
机译:
教学约束程序设计
作者:
Patrick Prosser
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
9.
A Complete Solver for Constraint Games
机译:
约束游戏的完整求解器
作者:
Thi-Van-Anh Nguyen
;
Arnaud Lallouet
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
10.
Incremental QBF Solving
机译:
QBF增量求解
作者:
Florian Lonsing
;
Uwe Egly
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
11.
Incremental Cardinality Constraints for MaxSAT
机译:
MaxSAT的增量基数约束
作者:
Ruben Martins
;
Saurabh Joshi
;
Vasco Manquinho
;
Ines Lynce
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
12.
Multivalued Decision Diagrams for Sequencing Problems
机译:
排序问题的多值决策图
作者:
Andre A. Cire
;
Willem-Jan van Hoeve
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
13.
Robustness and Stability in Constraint Programming under Dynamism and Uncertainty
机译:
动态性和不确定性约束编程的鲁棒性和稳定性
作者:
Laura Climent
;
Richard J. Wallace
;
Miguel A. Salido
;
Federico Barber
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
14.
Encoding Linear Constraints into SAT
机译:
将线性约束编码为SAT
作者:
Ignasi Abio
;
Peter J. Stuckey
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
15.
Reducing the Branching in a Branch and Bound Algorithm for the Maximum Clique Problem
机译:
最大分支问题的分支定界算法中的分支减少
作者:
Ciaran McCreesh
;
Patrick Prosser
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
16.
Core-Guided MaxSAT with Soft Cardinality Constraints
机译:
具有软基数约束的核心引导MaxSAT
作者:
Antonio Morgado
;
Carmine Dodaro
;
Joao Marques-Silva
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
17.
Efficient Application of Max-SAT Resolution on Inconsistent Subsets
机译:
Max-SAT分辨率在不一致子集上的有效应用
作者:
Andre Abrame
;
Djamal Habet
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
18.
Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers
机译:
优化求解器组合的顺序时间分割和界限通信
作者:
Roberto Amadini
;
Peter J. Stuckey
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
19.
Monotone Temporal Planning: Tractability, Extensions and Applications
机译:
单调时间规划:可伸缩性,扩展和应用
作者:
Martin C. Cooper
;
Frederic Maris
;
Pierre Regnier
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
20.
Anytime AND/OR Depth-First Search for Combinatorial Optimization
机译:
随时进行AND / OR深度优先搜索以进行组合优化
作者:
Lars Otten
;
Rina Dechter
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
21.
Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem
机译:
子图同构问题的基于得分的邻域优势
作者:
Gilles Audemard
;
Christophe Lecoutre
;
Mouny Samy-Modeliar
;
Gilles Goncalves
;
Daniel Porumbel
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
22.
The IntSat Method for Integer Linear Programming
机译:
整数线性规划的IntSat方法
作者:
Robert Nieuwenhuis
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
23.
Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination
机译:
通过消除关联交换通用子表达式自动改善Savile行中的约束模型
作者:
Peter Nightingale
;
OEzguer Akguen
;
Ian P. Gent
;
Christopher Jefferson
;
Ian Miguel
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
24.
View-Based Propagator Derivation
机译:
基于视图的传播器派生
作者:
Christian Schulte
;
Guido Tack
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
25.
Preface
机译:
前言
作者:
Barry OSullivan
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
26.
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators
机译:
链接使用自动机和累加器编码的约束的前缀和后缀
作者:
Nicolas Beldiceanu
;
Mats Carlsson
;
Pierre Flener
;
Maria Andreina Francisco Rodriguez
;
Justin Pearson
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
27.
The Propagation Depth of Local Consistency
机译:
局部一致性的传播深度
作者:
Christoph Berkholz
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
28.
Improving GAC-4 for Table and MDD Constraints
机译:
针对表和MDD约束改进GAC-4
作者:
Guillaume Perez
;
Jean-Charles Regin
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
29.
Improvement of the Embarrassingly Parallel Search for Data Centers
机译:
尴尬地并行搜索数据中心
作者:
Jean-Charles Regin
;
Mohamed Rezgui
;
Arnaud Malapert
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
30.
The Balance Constraint Family
机译:
平衡约束家庭
作者:
Christian Bessiere
;
Emmanuel Hebrard
;
George Katsirelos
;
Zeynep Kiziltan
;
Emilie Picard-Cantin
;
Claude-Guy Quimper
;
Toby Walsh
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
31.
Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector
机译:
BTD和智能回溯的实验比较:针对自动逐实例算法选择器
作者:
Loiec Blet
;
Samba Ndojh Ndiaye
;
Christine Solnon
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
32.
Solving Intensional Weighted CSPs by Incremental Optimization with BDDs
机译:
通过BDD增量优化求解强度加权CSP
作者:
Miquel Bofill
;
Miquel Palahi
;
Josep Suy
;
Mateu Villaret
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
33.
Stochastic MiniZinc
机译:
随机迷你锌
作者:
Andrea Rendl
;
Guido Tack
;
Peter J. Stuckey
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
34.
Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization
机译:
分解有界最大和中的效用函数以进行分布式约束优化
作者:
Emma Rollon
;
Javier Larrosa
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
35.
On Backdoors to Tractable Constraint Languages
机译:
在可约束语言的后门上
作者:
Clement Carbonnel
;
Martin C. Cooper
;
Emmanuel Hebrard
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
36.
Insights into Parallelism with Intensive Knowledge Sharing
机译:
深入的知识共享,深入了解并行
作者:
Ashish Sabharwal
;
Horst Samulowitz
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
37.
Nested Constraint Programs
机译:
嵌套约束程序
作者:
Geoffrey Chu
;
Peter J. Stuckey
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
38.
Beyond Consistency and Substitutability
机译:
超越一致性和可替代性
作者:
Martin C. Cooper
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
39.
The Non-overlapping Constraint between Objects Described by Non-linear Inequalities
机译:
非线性不等式描述的对象之间的不重叠约束
作者:
Ignacio Salas
;
Gilles Chabert
;
Alexandre Goldsztejn
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
40.
Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning
机译:
使用动态关系划分改进关系一致性算法
作者:
Anthony Schneider
;
Robert J. Woodward
;
Berthe Y. Choueiry
;
Christian Bessiere
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
41.
Subexponential Time Complexity of CSP with Global Constraints
机译:
具有全局约束的CSP的次指数时间复杂度
作者:
Ronald de Haan
;
Iyad Kanj
;
Stefan Szeider
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
42.
A New Characterization of Relevant Intervals for Energetic Reasoning
机译:
能量推理相关区间的新表征
作者:
Alban Derrien
;
Thierry Petit
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
43.
Domain Views for Constraint Programming
机译:
约束编程的域视图
作者:
Pascal Van Hentenryck
;
Laurent Michel
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
44.
Global Constraints in Distributed CSP: Concurrent GAC and Explanations in ABT
机译:
分布式CSP中的全局约束:并行GAC和ABT中的解释
作者:
Mohamed Wahbi
;
Kenneth N. Brown
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
45.
A Declarative Paradigm for Robust Cumulative Scheduling
机译:
鲁棒累积调度的声明性范例
作者:
Alban Derrien
;
Thierry Petit
;
Stephane Zampelli
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
46.
Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems
机译:
用分支一致性改进DPOP以解决分布式约束优化问题
作者:
Ferdinando Fioretto
;
Tiep Le
;
William Yeoh
;
Enrico Pontelli
;
Tran Cao Son
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
47.
The Impact of Wireless Communication on Distributed Constraint Satisfaction
机译:
无线通信对分布式约束满意度的影响
作者:
Mohamed Wahbi
;
Kenneth N. Brown
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
48.
Constraint-Based Lagrangian Relaxation
机译:
基于约束的拉格朗日松弛
作者:
Daniel Fontaine
;
Laurent Michel
;
Pascal Van Hentenryck
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
49.
Loop Untangling
机译:
循环解开
作者:
Kathryn Francis
;
Peter J. Stuckey
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
50.
Adaptive Parameterized Consistency for Non-binary CSPs by Counting Supports
机译:
通过计算支持量为非二进制CSP自适应参数化一致性
作者:
Robert J. Woodward
;
Anthony Schneider
;
Berthe Y. Choueiry
;
Christian Bessiere
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
51.
Proactive Workload Dispatching on the EURORA Supercomputer
机译:
EURORA超级计算机上的主动工作量调度
作者:
Andrea Bartolini
;
Andrea Borghesi
;
Thomas Bridi
;
Michele Lombardi
;
Michela Milano
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
52.
Discriminating Instance Generation for Automated Constraint Model Selection
机译:
自动约束模型选择的区分实例生成
作者:
Ian P. Gent
;
Bilal Syed Hussain
;
Christopher Jefferson
;
Lars Kotthoff
;
Ian Miguel
;
Glenna F. Nightingale
;
Peter Nightingale
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
53.
Aggregating CP-nets with Unfeasible Outcomes
机译:
聚合具有不可行结果的CP-net
作者:
Umberto Grandi
;
Hang Luo
;
Nicolas Maudet
;
Francesca Rossi
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
54.
Scheduling B2B Meetings
机译:
安排B2B会议
作者:
Miquel Bofill
;
Joan Espasa
;
Marc Garcia
;
Miquel Palahi
;
Josep Suy
;
Mateu Villaret
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
55.
Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions
机译:
使用全局成本函数的连词来解决法官分配问题
作者:
Simon de Givry
;
Jimmy H.M. Lee
;
Ka Lun Leung
;
Yu Wai Shum
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
56.
The StockingCost Constraint
机译:
库存成本约束
作者:
Vinasetan Ratheil Houndji
;
Pierre Schaus
;
Laurence Wolsey
;
Yves Deville
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
关键词:
Production Planning;
Discrete Lot Sizing;
Constraint Programming;
Global Constraint;
57.
Scalable Parallel Numerical CSP Solver
机译:
可扩展并行CSP数值解算器
作者:
Daisuke Ishii
;
Kazuki Yoshizoe
;
Toyotaro Suzumura
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
58.
Worst-Case Scheduling of Software Tasks A Constraint Optimization Model to Support Performance Testing
机译:
最坏情况下的软件任务调度支持性能测试的约束优化模型
作者:
Stefano Di Alesio
;
Shiva Nejati
;
Lionel Briand
;
Arnaud Gotlieb
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
59.
Continuous Casting Scheduling with Constraint Programming
机译:
约束编程的连续铸造调度
作者:
Steven Gay
;
Pierre Schaus
;
Vivian De Smedt
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
关键词:
Continuous Casting;
Steel Production;
Scheduling;
Constraint Programming;
60.
Tree-Decompositions with Connected Clusters for Solving Constraint Networks
机译:
带连接簇的树分解,用于求解约束网络
作者:
Philippe Jegou
;
Cyril Terrioux
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
61.
Case Study: Constraint Programming in a System Level Synthesis Framework
机译:
案例研究:系统级综合框架中的约束编程
作者:
Shuo Li
;
Ahmed Hemani
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
关键词:
System Level Synthesis;
Design Space Exploration;
Constraint Programming;
62.
One Problem, Two Structures, Six Solvers, and Ten Years of Personnel Scheduling
机译:
一个问题,两个结构,六个解算器和十年的人员调度
作者:
Louis-Martin Rousseau
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
63.
CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem
机译:
负载均衡护士到患者分配问题的CIP和MIQP模型
作者:
Wen-Yang Ku
;
Thiago Pinheiro
;
J. Christopher Beck
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
64.
On the Erdoes Discrepancy Problem
机译:
关于鄂尔多斯差异问题
作者:
Ronan Le Bras
;
Carla P. Gomes
;
Bart Selman
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
65.
Scheduling Agents Using Forecast Call Arrivals at Hydro-Quebec's Call Centers
机译:
在魁北克水电呼叫中心使用预测呼叫到达来调度代理
作者:
Marie Pelleau
;
Louis-Martin Rousseau
;
Pierre LEcuyer
;
Walid Zegal
;
Louis Delorme
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
66.
Towards Practical Infinite Stream Constraint Programming: Applications and Implementation
机译:
走向实用的无限流约束编程:应用和实现
作者:
Jasper C.H. Lee
;
Jimmy H.M. Lee
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
67.
Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach
机译:
用于危机管理的移动无线传感器网络的部署:基于约束的本地搜索方法
作者:
Cedric Pralet
;
Charles Lesire
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
68.
Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems
机译:
减少CSP,SAT和SAT相关问题的空中交通管制员班次调度
作者:
Mirko Stojadinovic
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
69.
An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search
机译:
搜索期间对称性破坏的Nogoods全局约束
作者:
Jimmy H.M. Lee
;
Zichen Zhu
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
70.
Optimization Bounds from Binary Decision Diagrams
机译:
二元决策图的优化界限
作者:
David Bergman
;
Andre A. Cire
;
Willem-Jan van Hoeve
;
John N. Hooker
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
71.
Reformulation Based MaxSAT Robustness
机译:
基于重构的MaxSAT稳健性
作者:
Miquel Bofill
;
Didac Busquets
;
Mateu Villaret
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
72.
Probabilistic Constraints for Nonlinear Inverse Problems
机译:
非线性反问题的概率约束
作者:
Elsa Carvalho
;
Jorge Cruz
;
Pedro Barahona
会议名称:
《International conference on principles and practice of constraint programming》
|
2014年
意见反馈
回到顶部
回到首页