掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
From Constraint Minimization to Goal Optimization in CLP Languages
机译:
从CLP语言中的约束最小化到目标优化
作者:
Francois Fages
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
2.
Branch-and-Price for Solving Integer Programs with a Huge Number of Variables: Methods and Applications
机译:
用于解决具有大量变量的整数程序的分支和价格:方法和应用程序
作者:
George L. Nemhauser
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
3.
Empirical Studies of Heuristic Local Search for Constraint Solving
机译:
建立局域出启发式求解的实证研究
作者:
Jin-Kao Hao
;
Raphael Dorne
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Local search;
constraint solving;
combinatorial optimiza-tion;
graph coloring;
frequency assignment;
4.
An Experimental Comparison of Three Modified DeltaBlue Algorithms
机译:
三种改进的Deltablue算法的实验比较
作者:
Tetsuya Suzuki
;
Nobuo Kakinuma
;
Takehiro Tokuda
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Constraint solving algorithm;
Local propagation;
DeltaBlue method;
DeltaDown method;
DeltaUp method;
and DeltaCost method;
5.
Experiences with Combining Constraint Programming and Discrete Event Simulation
机译:
结合约束编程和离散事件仿真的体验
作者:
ir. Wim Hellinck
;
SimCon n. v.
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
6.
Hill-Climbing with Local Consistency for Solving Distributed CSPs
机译:
爬山,局部一致性解决分布式CSP
作者:
Katsutoshi Hirayama
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
7.
The Generalized Railroad Crossing: Its Symbolic Analysis in CLP (R)
机译:
广义铁路交叉:CLP(R)中的象征性分析
作者:
Luis Urbina
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
8.
Local Search and the Number of Solutions
机译:
本地搜索和解决方案数量
作者:
David A. Clark
;
Jeremy Frank
;
Ian P. Gent
;
Ewan Maclntyre
;
Neven Tornov
;
Toby Walsh
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
9.
Constraint Programming: an Efficient and Practical Approach to Solving the Job-Shop Problem
机译:
制约规划:解决工作店问题的有效和实用的方法
作者:
Yves Colombani
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Job-Shop Scheduling;
Constraint Programming;
Efficiency;
10.
Constraint Logic Programming over Unions of Constraint Theories
机译:
约束逻辑编程在一个约束理论的工会
作者:
Cesare Tinelli
;
Mehdi Harandi
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Constraint Logic Programming;
combination of satisfiability procedures;
11.
Speeding Up Constraint Propagation By Redundant Modeling
机译:
通过冗余建模加快约束传播
作者:
B. M. W. Cheng
;
J. H. M. Lee
;
J. C. K. Wu
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Constraint Propagation;
Redundant Modeling;
Nurse Rostering;
12.
Functional Constraint Hierarchies in CLP
机译:
CLP中的功能约束层次结构
作者:
Mouhssine Bouzoubaa
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Constraints;
Constraint hierarchy;
CLP;
HCLP;
13.
A Constraint Program for Solving the Job-Shop Problem
机译:
解决工作店问题的约束计划
作者:
Jianyang Zhou
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Constraint Programming;
Interval Constraints;
Constraint of Distinct Integers;
Permutation;
Sorting;
Job-shop Sdieduling;
14.
Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances
机译:
使用CSP后退技术来解决异常硬的SAT实例
作者:
Roberto J. Bayardo Jr.
;
Robert Schrag
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
15.
Combination of Constraint Systems II: Rational Amalgamation
机译:
约束系统组合II:理性合并
作者:
Stephan Kepser
;
Klaus U. Schulz
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
16.
Towards a More Efficient Stochastic Constraint Solver
机译:
迈向更有效的随机约束求解器
作者:
Jimmy H. M. Lee
;
Ho-fung Leung
;
Hon-wing Won
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
17.
Using Partial Arc Consistency in a Database Environment
机译:
在数据库环境中使用部分电弧一致性
作者:
Steven A. Battle
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
18.
A Test for Tractability
机译:
对遗传性的测试
作者:
Peter Jeavons
;
David Cohen
;
Marc Gyssens
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Constraint satisfaction problem;
complexity;
NP-completeness;
indicator problem;
19.
Global Behaviour for Complex Constraints
机译:
复杂约束的全球行为
作者:
Stephane NDong
;
Michel Van Caneghem
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
20.
Constraint Satisfaction in Optical Routing for Passive Wavelength-Routed Networks
机译:
无源波长路线网络光路径中的约束满足
作者:
Dhritiman Banerjee
;
Jeremy Prank
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
wavelength routing;
latin routers;
local search;
optical networks;
21.
Efficient Constraint Propagation With Good Space Complexity
机译:
具有良好空间复杂性的高效约束传播
作者:
Assef Chmeiss
;
Philippe Jegou
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
22.
Analysis of Hybrid Systems in CLP(R)
机译:
CLP(R)中的混合系统分析
作者:
Luis Urbina
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
23.
From Quasi-Solutions to Solution: An Evolutionary Algorithm to Solve CSP
机译:
从Quasi-Solution到解决方案:解决CSP的进化算法
作者:
Maria Cristina Riff Rojas
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Constraint satisfaction;
Evolutionary algorithms;
Fitness eval-uation;
24.
Anytime Temporal Reasoning : Preliminary Report (Extended Abstract)
机译:
随时时间推理:初步报告(扩展摘要)
作者:
Mukesh Dalal
;
Yong Feng
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
25.
The Arc and Path Consistency Phase Transitions
机译:
电弧和路径一致性相位过渡
作者:
Stuart A. Grant
;
Barbara M. Smith
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
26.
PSAP - A Planning System for Aircraft Production
机译:
PSAP - 飞机生产计划系统
作者:
Patrick Albers
;
Jacques Bellone
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
27.
Complexity-Theoretic Aspects of Programming Language Design
机译:
编程语言设计的复杂性方面
作者:
Harry G. Mairson
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
28.
To Guess or to Think? Hybrid Algorithms for SAT
机译:
猜测或思考? SAT的混合算法
作者:
Irina Rish
;
Rina Dechter
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
29.
A Constraint-Based Interactive Train Rescheduling Tool
机译:
基于约束的交互式列车重新安排工具
作者:
C. K. Chiu
;
C. M. Chou
;
J. H. M. Lee
;
H. F. Leung
;
Y. W. Leung
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Rescheduling;
Constraint Propagation;
Variable and Value Or-dering;
30.
Looking at Full Looking Ahead
机译:
看起来完整展望未来
作者:
Daniel Frost
;
Rina Dechter
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
31.
Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems
机译:
偏约束满足问题的启发式方法分析
作者:
Richard J. Wallace
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
32.
Existential Variables and Local Consistency in Finite Domain Constraint Problems
机译:
有限域约束问题中存在的变量和局部一致性
作者:
Francesca Rossi
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
33.
Exploiting the Use of DAC in MAX-CSP
机译:
利用DAC在MAX-CSP中的使用
作者:
Javier Larrosa
;
Pedro Meseguer
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
34.
A Local Simplification Scheme for cc Programs
机译:
CC程序的本地简化方案
作者:
Vincent Schachter
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
35.
Modeling and Solving Distributed Constraint Satisfaction Problems (DCSPs)
机译:
建模与解决分布式约束满足问题(DCSPS)
作者:
Gadi Solotorevsky
;
Ehud Gudes
;
Amnon Meisels
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
36.
Logical Semantics of Concurrent Constraint Programming
机译:
并发约束编程的逻辑语义
作者:
Paul Ruet
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Concurrent constraint programming;
intuitionistic logic;
linear logic;
37.
N-Ary Consistencies and Constraint-Based Backtracking
机译:
基于N-ARY常规和约束的回溯
作者:
Pierre-Paul Merel
;
Zineb Habbas
;
Francine Herrmann
;
Daniel Singer
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
38.
From Evaluating Upper Bounds of the Complexity of Solving CSPs to Finding All the Solutions of CSPs
机译:
从评估求解CSP的复杂性的上限,以找到CSP的所有解决方案
作者:
Gadi Solotorevsky
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
39.
A Meta Constraint Logic Programming Architecture
机译:
元约束逻辑编程架构
作者:
E. Lamma
;
P. Mello
;
M. Milano
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
40.
Approximate Algorithms for Maximum Utility Problems
机译:
最大效用问题的近似算法
作者:
F. J. Jungen
;
W. Kowalczyk
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
41.
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem
机译:
对约束满足问题动态变量秩序启发式的实证研究
作者:
Ian P. Gent
;
Ewan MacIntyre
;
Patrick Prosser
;
Barbara M. Smith
;
Toby Walsh
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
42.
Constraint Databases
机译:
约束数据库
作者:
Dina Q. Goldin
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
43.
On Confluence of Constraint Handling Rules
机译:
关于约束处理规则的汇合
作者:
Slim Abdennadher
;
Thom Priihwirth
;
Holger Meuss
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
constraint reasoning;
semantics of programming languages;
committed-choice languages;
confluence and determinacy;
44.
Scheduling an Asynchronously Shared Resource
机译:
安排异步共享资源
作者:
Douglas R. Smith
;
Stephen J. Westfold
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
45.
Defeasibility in CLP(Q) through Generalized Slack Variables
机译:
通过广义松弛变量的CLP(Q)的缺陷
作者:
Christian Holzbaur
;
Francisco Menezes
;
Pedro Barahona
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Constraint Logic Programming;
Linear Programming;
Defeasible Constraint Solving;
46.
Derivation of Constraints and Database Relations
机译:
推导约束和数据库关系
作者:
David Cohen
;
Marc Gyssens
;
Peter Jeavons
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
Relational database;
relational algebra;
constraint deriva-tion;
47.
An Instance of Adaptive Constraint Propagation
机译:
自适应约束传播的实例
作者:
Hani El Sakkout
;
Mark G. Wallace
;
E. Barry Richards
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
48.
MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems
机译:
MAC和综合启发式:在艰难问题上forsake fc(和cbj?)的两个原因
作者:
Christian Bessiere
;
Jean-Charles Regin
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
49.
The Independence Property of a Class of Set Constraints
机译:
一类集约束的独立性
作者:
Witold Charatonik
;
Andreas Podelski
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
50.
A Stochastic Approach to Solving Fuzzy Constraint Satisfaction Problems
机译:
一种解决模糊约束满足问题的随机方法
作者:
Jason H. Y. Wong
;
Ka-fai Ng
;
Ho-fung Leung
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
51.
On Query Languages for Linear Queries Definable with Polynomial Constraints
机译:
关于多项式约束可定义的线性查询的查询语言
作者:
Luc Vandeurzen
;
Marc Gyssens
;
Dirk Van Gucht
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
52.
A New Approach for Weighted Constraint Satisfaction: Theoretical and Computational Results
机译:
加权约束满足的新方法:理论和计算结果
作者:
Hoong Chuin Lau
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
53.
A View of Local Search in Constraint Programming
机译:
在约束编程中的本地搜索视图
作者:
Gilles Pesant
;
Michel Gendreau
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
54.
Solving Non-binary Convex CSPs in Continuous Domains
机译:
在连续域中求解非二元凸CSP
作者:
Djamila Sarn-Haroud
;
Boi V. Faltings
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
55.
Generalized Local Propagation: A Framework for Solving Constraint Hierarchies
机译:
概括的本地传播:解决约束层次结构的框架
作者:
Hiroshi Hosobe
;
Satoshi Matsuoka
;
Akinori Yonezawa
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
关键词:
constraint hierarchies;
nonmonotonicity;
local propagation;
multi-way con-straints;
56.
Tractable Disjunctions of Linear Constraints
机译:
线性约束的易剖钉
作者:
Manolis Koubarakis
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
57.
Solving Satisfiability Problems Using Field Programmable Gate Arrays: First Results
机译:
使用现场可编程门阵列解决满足性问题:第一个结果
作者:
Makoto Yokoo
;
Takayuki Suyama
;
Hiroshi Sawada
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
58.
Transformations Between HCLP and PCSP
机译:
HCLP和PCSP之间的转换
作者:
Michael Jarapel
;
Jean-Marie Jacquet
;
David Gilbert
;
Sebastian Hunt
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
59.
Towards an Open Finite Domain Constraint Solver
机译:
朝着开放的有限域约束求解器
作者:
Mats Carlsson
;
Bjorn Carlson
;
Greger Ottosson
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
60.
A Labelling Arc Consistency Method for Functional Constraints
机译:
功能约束的标记电弧一致性方法
作者:
M. S. Affane
;
H. Bennaceur
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
61.
Inference Duality as a Basis for Sensitivity Analysis
机译:
推理二元性作为敏感性分析的基础
作者:
J. N. Hooker
会议名称:
《International Conference on Principles and Practice of constraint Programming》
|
1996年
意见反馈
回到顶部
回到首页