Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd CP 1996: Cambridge, Massachusetts
- Eugene C. Freuder:
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996. Lecture Notes in Computer Science 1118, Springer 1996
Papers
- Slim Abdennadher, Thom W. Frühwirth, Holger Meuss:
On Confluence of Constraint Handling Rules. 1-15 - Mohamed-Salah Affane, Hachemi Bennaceur:
A Labelling Arc Consistency Method for Functional Constraints. 16-30 - Dhritiman Banerjee, Jeremy Frank:
Constraint Satisfaction in Optical Routing for Passive Wavelength-Routed Networks. 31-45 - Roberto J. Bayardo Jr., Robert Schrag:
Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances. 46-60 - Christian Bessière, Jean-Charles Régin:
MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems. 61-75 - Witold Charatonik, Andreas Podelski:
The Independence Property of a Class of Set Constraints. 76-90 - B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu:
Speeding Up Constraint Propagation By Redundant Modeling. 91-103 - C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung:
A Constraint-Based Interactive Train Rescheduling Tool. 104-118 - David A. Clark, Jeremy Frank, Ian P. Gent, Ewan MacIntyre, Neven Tomov, Toby Walsh:
Local Search and the Number of Solutions. 119-133 - David A. Cohen, Marc Gyssens
, Peter Jeavons:
Derivation of Constraints and Database Relations. 134-148 - Yves Colombani:
Constraint Programming: an Efficient and Practical Approach to Solving the Job-Shop Problem. 149-163 - Hani El Sakkout, Mark Wallace, Barry Richards:
An Instance of Adaptive Constraint Propagation. 164-178 - Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh:
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. 179-193 - Jin-Kao Hao, Raphaël Dorne:
Empirical Studies of Heuristic Local Search for Constraint Solving. 194-208 - Christian Holzbaur, Francisco Menezes, Pedro Barahona:
Defeasibility in CLP(Q) through Generalized Slack Variables. 209-223 - John N. Hooker:
Inference Duality as a Basis for Secitivity Analysis. 224-236 - Hiroshi Hosobe, Satoshi Matsuoka, Akinori Yonezawa:
Generalized Local Propagation: A Framework for Solving Constraint Hierarchies. 237-251 - Michael Jampel, Jean-Marie Jacquet, David R. Gilbert, Sebastian Hunt:
Transformations Between HCLP and PCSP. 252-266 - Peter Jeavons, David A. Cohen, Marc Gyssens:
A test for Tractability. 267-281 - Stephan Kepser, Klaus U. Schulz:
Combination of Constraint Systems II: Rational Amalgamation. 282-296 - Manolis Koubarakis:
Tractable Disjunctions of Linear Constraints. 297-307 - Javier Larrosa, Pedro Meseguer:
Exploiting the Use of DAC in MAX-CSP. 308-322 - Hoong Chuin Lau:
A New Approach for Weighted Constraint Satisfaction: Theoretical and Computational Results. 323-337 - Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won:
Towards a More Efficient Stochastic Constraint Solver. 338-352 - Gilles Pesant, Michel Gendreau:
A View of Local Search in Constraint Programming. 353-366 - María Cristina Riff Rojas:
From Quasi-Solutions to Solution: An Evolutionary Algorithm to Solve CSP. 367-381 - Francesca Rossi:
Existential Variables and Local Consistency in Finite Domain Constraint Problems. 382-396 - Paul Ruet:
Logical Semantics of Concurrent Constraint Programming. 397-409 - Djamila Sam-Haroud, Boi Faltings:
Solving Non-binary Convez CSPs in Continous Domains. 410-424 - Tetsuya Suzuki, Nobuo Kakinuma, Takehiro Tokuda:
An Eperimental Comparison of Three Modified DeltaBlue Algorithms. 425-435 - Cesare Tinelli, Mehdi T. Harandi:
Constraint Logic Programming over Unions of Constraint Theories. 436-450 - Luis Urbina:
Analysis of Hybrid Systems in CLP(R). 451-467 - Luc Vandeurzen, Marc Gyssens, Dirk Van Gucht:
On Query Languages for Linear Queries Definable with Polynomial Constraints. 468-481 - Richard J. Wallace:
Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems. 482-496 - Makoto Yokoo, Takayuki Suyama, Hiroshi Sawada:
Solving Satisfiability Problems Using Field Programmable Gate Arrays: First Results. 497-509 - Jianyang Zhou:
A Constraint Program for Solving the Job-Shop Problem. 510-524
Posters
- Patrick Albers, Jacques Bellone:
PSAP - A Planning System for Aircraft Production (Extended Abstract). 525-526 - Steven A. Battle:
Using Partial Arc Consistency in a Database Environment. 527-528 - Mouhssine Bouzoubaa:
Functional Constrain Hierarchies in CLP. 529-530 - Mats Carlsson, Björn Carlson, Greger Ottosson:
Towards an Open Finite Domain Constraint Solver. 531-532 - Assef Chmeiss, Philippe Jégou:
Efficient Constraint Propagation With Good Space Complexity. 533-534 - Mukesh Dalal, Yong Feng:
Anytime Temporal Reasoning: Preliminary Report (Extended Abstract). 535-536 - François Fages:
From Constraint Minimization to Goal Optimization in CLP Languages. 537-538 - Daniel Frost, Rina Dechter:
Looking at Full Looking Ahead. 539-540 - Stuart A. Grant, Barbara M. Smith:
The Arc and Path Consistency Phase Transitions. 541-542 - Wim Hellinck:
Experiences with Combining Constraint Programming and Discrete Event Simulation. 543-544 - Katsutoshi Hirayama:
Hill-Climbing with Local Consistency for Solving Distributed CSPs. 545-546 - Frederik Jan Jüngen, Wojtek Kowalczyk:
Appriximate Algorithms for Maximum Utility Problems. 547-548 - Evelina Lamma, Paola Mello, Michela Milano:
A Meta Constraint Logic Programming Architecture (Extended Abstract). 549-550 - Pierre-Paul Mérel, Zineb Habbas, Francine Herrmann, Daniel Singer:
N-Ary Consistencies and Constraint-Based Backtracking. 551-552 - Stéphane N'Dong, Michel Van Caneghem:
Global Behaviour for Complex Constraints. 553-554 - Irina Rish, Rina Dechter:
To Guess or to Think? Hybrid Algorithms for SAT (Extended Abstract). 555-556 - Vincent Schächter:
A Local Simplification Scheme for cc Programs. 557-558 - Gadi Solotorevsky:
From Evaluating Upper Bounds of the Complexity of Solving CSPs to Finding All the Solutions of CSPs. 559-560 - Gadi Solotorevsky, Ehud Gudes, Amnon Meisels:
Modeling and Solving Distributed Constraint Satisfaction Problems (DCSPs). 561-562 - Douglas R. Smith, Stephen J. Westfold:
Scheduling an Asynchronously Shared Resource. 563-564 - Luis Urbina:
The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R). 565-567 - Jason H. Y. Wong, Kai-Fai Ng, Ho-fung Leung:
A Stochastic Approach to Solving Fuzzy Constraint Satisfaction Problems. 568-569
Invited Lecture
- George L. Nemhauser:
Branch-and-Price for Solving Integer Programs with a Huge Number of Variables: Methods and Applications (Abstract). 570
Lectures in Honor of Paris C. Kanellakis
- Dina Q. Goldin:
Constraint Databases. 571 - Harry G. Mairson:
Complexity-Theoretic Aspects for Programming Language Design. 572
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
