Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th CP 1999: Alexandria, Virginia, USA
- Joxan Jaffar:
Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings. Lecture Notes in Computer Science 1713, Springer 1999, ISBN 3-540-66626-5
Invited Papers
- Krzysztof R. Apt:
The Rough Guide to Constraint Propagation. 1-23 - Christian Bessière:
Non-Binary Constraints. 24-27 - Benjamin W. Wah, Zhe Wu:
The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization. 28-42
Regular Papers
- Slim Abdennadher, Thom W. Frühwirth:
Operational Equivalence of CHR Programs and Constraints. 43-57 - Krzysztof R. Apt, Éric Monfroy:
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. 58-72 - Rolf Backofen, Sebastian Will:
Excluding Symmetries in Constraint-Based Search. 73-87 - Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa:
On Forward Checking for Non-binary Constraint Satisfaction. 88-102 - Christian Bessière, Jean-Charles Régin:
Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly. 103-117 - Marcus Bjäreland, Peter Jonsson:
Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP. 118-128 - Mathias Broxvall, Peter Jonsson:
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time. 129-143 - Yves Caseau, François Laburthe, Glenn Silverstein:
A Meta-Heuristic Factory for Vehicle Routing Problems. 144-158 - Víctor Dalmau
, Justin Pearson:
Closure Functions and Width 1 Problems. 159-173 - Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey:
An Overview of HAL. 174-188 - Filippo Focacci, Andrea Lodi, Michela Milano:
Cost-Based Domain Filtering. 189-203 - Christian Frei, Boi Faltings:
Resource Allocation and Constraint Satisfaction Techniques. 204-218 - Youssef Hamadi:
Optimal Distributed Arc-Consistency. 219-233 - Tudor Hulubei, Eugene C. Freuder:
The Goldilocks Problem. 234-245 - Micha Janssen, Yves Deville, Pascal Van Hentenryck:
Multistep Filtering Operators for Ordinary Differential Equations. 246-260 - Ulrich Junker, Stefan E. Karisch, Niklas Kohl, Bo Vaaben, Torsten Fahle, Meinolf Sellmann:
A Framework for Constraint Programming Based Column Generation. 261-274 - Kazuya Kaneko, Masazumi Yoshikawa, Yoichiro Nakakuki:
Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems. 275-288 - Ludwig Krippahl, Pedro Barahona:
Applying Constraint Programming to Protein Structure Determination. 289-302 - Javier Larrosa, Pedro Meseguer:
Partition-Based Lower Bound for Max-CSP. 303-315 - Bernd Meyer:
Constraint Diagram Reasoning. 316-330 - François Pachet, Pierre Roy:
Automatic Generation of Music Programs. 331-345 - Laurent Perron:
Search Procedures and Parallelism in Constraint Programming. 346-360 - Nicolas Prcovic, Bertrand Neveu:
Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search. 361-374 - Philippe Refalo:
Tight Cooperation and Its Application in Piecewise Linear Optimization. 375-389 - Jean-Charles Régin:
Arc Consistency for Global Cardinality Constraints with Costs. 390-404 - Barbara M. Smith:
The Brélaz Heuristic and Optimal Static Orderings. 405-418 - Timo Soininen, Esther M. Gelle, Ilkka Niemelä:
A Fixpoint Definition of Dynamic Constraint Satisfaction. 419-433 - Takayuki Suyama, Makoto Yokoo, Akira Nagoya:
Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation. 434-445 - John Thornton, Abdul Sattar:
On the Behavior and Application of Constraint Weighting. 446-460 - Benjamin W. Wah, Tao Wang:
Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization. 461-475
Poster Papers
- Stanislav Busygin:
On SAT01 Problem. 476-477 - Jorge Cruz, Pedro Barahona:
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. 478-479 - Ian P. Gent, Toby Walsh:
CSPLIB: A Benchmark Library for Constraints. 480-481 - Timothy J. Hickey, David K. Wittenberg:
Validated Constraint Compilation. 482-483 - Ortrun Ibes:
Automated Theorem Proving with Disjunctive Constraints. 484-485 - Claudio Lottaz:
Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms. 486-487 - Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings:
Intelligent Domain Splitting for CSPs with Ordered Domains. 488-489 - Makoto Yokoo, Katsutoshi Hirayama:
Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques. 490-491
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-06-10 21:41 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:
