CP A

42 papers

YearTitle / Authors
1999A Fixpoint Definition of Dynamic Constraint Satisfaction.
Timo Soininen, Esther M. Gelle, Ilkka Niemelä
1999A Framework for Constraint Programming Based Column Generation.
Ulrich Junker, Stefan E. Karisch, Niklas Kohl, Bo Vaaben, Torsten Fahle, Meinolf Sellmann
1999A Meta-Heuristic Factory for Vehicle Routing Problems.
Yves Caseau, François Laburthe, Glenn Silverstein
1999An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support.
Jorge Cruz, Pedro Barahona
1999An Overview of HAL.
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
1999Applying Constraint Programming to Protein Structure Determination.
Ludwig Krippahl, Pedro Barahona
1999Arc Consistency for Global Cardinality Constraints with Costs.
Jean-Charles Régin
1999Automated Theorem Proving with Disjunctive Constraints.
Ortrun Ibes
1999Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains.
Krzysztof R. Apt, Éric Monfroy
1999Automatic Generation of Music Programs.
François Pachet, Pierre Roy
1999CSP
Ian P. Gent, Toby Walsh
1999Closure Functions and Width 1 Problems.
Víctor Dalmau, Justin Pearson
1999Constraint Diagram Reasoning.
Bernd Meyer
1999Cost-Based Domain Filtering.
Filippo Focacci, Andrea Lodi, Michela Milano
1999Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly.
Christian Bessière, Jean-Charles Régin
1999Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search.
Nicolas Prcovic, Bertrand Neveu
1999Excluding Symmetries in Constraint-Based Search.
Rolf Backofen, Sebastian Will
1999Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP.
Marcus Bjäreland, Peter Jonsson
1999Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques.
Makoto Yokoo, Katsutoshi Hirayama
1999Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems.
Kazuya Kaneko, Masazumi Yoshikawa, Yoichiro Nakakuki
1999Intelligent Domain Splitting for CSPs with Ordered Domains.
Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings
1999Multistep Filtering Operators for Ordinary Differential Equations.
Micha Janssen, Yves Deville, Pascal Van Hentenryck
1999Non-Binary Constraints.
Christian Bessière
1999On Forward Checking for Non-binary Constraint Satisfaction.
Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa
1999On SAT01 Problem.
Stanislav Busygin
1999On the Behavior and Application of Constraint Weighting.
John Thornton, Abdul Sattar
1999Operational Equivalence of CHR Programs and Constraints.
Slim Abdennadher, Thom W. Frühwirth
1999Optimal Distributed Arc-Consistency.
Youssef Hamadi
1999Partition-Based Lower Bound for Max-CSP.
Javier Larrosa, Pedro Meseguer
1999Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings
Joxan Jaffar
1999Resource Allocation and Constraint Satisfaction Techniques.
Christian Frei, Boi Faltings
1999Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms.
Claudio Lottaz
1999Search Procedures and Parallelism in Constraint Programming.
Laurent Perron
1999Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization.
Benjamin W. Wah, Tao Wang
1999Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation.
Takayuki Suyama, Makoto Yokoo, Akira Nagoya
1999The Brélaz Heuristic and Optimal Static Orderings.
Barbara M. Smith
1999The Goldilocks Problem.
Tudor Hulubei, Eugene C. Freuder
1999The Rough Guide to Constraint Propagation.
Krzysztof R. Apt
1999The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization.
Benjamin W. Wah, Zhe Wu
1999Tight Cooperation and Its Application in Piecewise Linear Optimization.
Philippe Refalo
1999Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time.
Mathias Broxvall, Peter Jonsson
1999Validated Constraint Compilation.
Timothy J. Hickey, David K. Wittenberg