CP A

48 papers

YearTitle / Authors
1998A Framework for Assertion-Based Debugging in Constraint Logic Programming.
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
1998A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems.
Robert Rodosek, Mark Wallace
1998A Note on Partial Consistencies over Continuous Domains.
Hélène Collavizza, François Delobel, Michel Rueher
1998A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems.
Gilles Trombettoni
1998A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.
Kim Marriott, Sitt Chen Chok, Alan Finlay
1998A Unified Framework for Interval Constraints and Interval Arithmetic.
Timothy J. Hickey, Maarten H. van Emden, Huan Wu
1998Adaptive Solving of Equations over Rational Trees.
Armin Wolf
1998An Impartial Efficiency Comparison of FD Constraint Systems.
Antonio J. Fernández, Patricia M. Hill
1998Anytime Lower Bounds for Constraint Violation Minimization Problems.
Bertrand Cabon, Simon de Givry, Gérard Verfaillie
1998Combine and Conquer: Genetic Algorithm and CP for Optimization.
Nicolas Barnier, Pascal Brisset
1998Combining Topological and Qualitative Size Constraints for Spatial Reasoning.
Alfonso Gerevini, Jochen Renz
1998Compiling Semiring-Based Constraints with clp (FD, S).
Yan Georget, Philippe Codognet
1998Consistency Techniques in Ordinary Differential Equations.
Yves Deville, Micha Janssen, Pascal Van Hentenryck
1998Constrained-Based Problem Decomposition for a Key Configuration Problem.
Ulrich Junker
1998Constraint Representation for Propagation.
Warwick Harvey, Peter J. Stuckey
1998Constraint Techniques for Solving the Protein Structure Prediction Problem.
Rolf Backofen
1998Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features.
Thomas H. Kolbe
1998Constructing Constraints.
Peter Jeavons
1998Early Projection in CLP(R).
Andreas Fordan, Roland H. C. Yap
1998Error-Correcting Source Code.
Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho
1998Fuzzifying the Constraint Hierarchies Framework.
R. W. L. Kam, Jimmy Ho-Man Lee
1998Generating Feasible Schedules for a Pick-Up and Delivery Problem.
Eric Domenjoud, Claude Kirchner, Jianyang Zhou
1998Generation of Test Patterns for Differential Diagnosis of Digital Circuits.
Francisco Azevedo, Pedro Barahona
1998Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints.
Philippe Baptiste, Claude Le Pape, Laurent Péridy
1998Implementing Global Constraints with Index-Sets and Constraint Templates.
Yves Colombani
1998Introducing External Functions in Constraint Query Languages.
Barbara Catania, Alberto Belussi, Elisa Bertino
1998Linear Concurrent Constraint Programming over Reals.
Vincent Schächter
1998Modelling CSP Solution Algorithms with Petri Decision Nets.
Stephan Pontow
1998Non-systematic Search and Learning: An Empirical Study.
E. Thomas Richards, Barry Richards
1998On Completion of Constraint Handling Rules.
Slim Abdennadher, Thom W. Frühwirth
1998Open Constraint Programming.
Joxan Jaffar, Roland H. C. Yap
1998Optimal Placement of Base Stations in Wireless Indoor Telecommunication.
Thom W. Frühwirth, Pascal Brisset
1998Optimized Q-pivot for Exact Linear Solvers.
David-Olivier Azulay, Jean François Pique
1998Optimizing with Constraints: A Case Study in Scheduling Maintenance of Electric Power Units.
Daniel Frost, Rina Dechter
1998Parallel Execution Models for Constraint Propagation.
Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz
1998Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings
Michael J. Maher, Jean-Francois Puget
1998Random Constraint Satisfaction: Theory Meets Practice.
Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh
1998SALSA: A Language for Search Algorithms.
François Laburthe, Yves Caseau
1998Safe Datalog Queries with Linear Constraints.
Peter Z. Revesz
1998Scheduling Multi-capacitated Resources Under Complex Temporal Constraints.
Amedeo Cesta, Angelo Oddi, Stephen F. Smith
1998Some Experiments on Learning Soft Constraints.
Alessandro Biso, Francesca Rossi, Alessandro Sperduti
1998Some Surprising Regularities in the Behaviour of Stochastic Local Search.
Holger H. Hoos, Thomas Stützle
1998Stable Solutions for Dynamic Constraint Satisfaction Problems.
Richard J. Wallace, Eugene C. Freuder
1998Suggestion Strategies for Constraint-Based Matchmaker Agents.
Eugene C. Freuder, Richard J. Wallace
1998The Dynamics of Dynamic Variable Ordering Heuristics.
Patrick Prosser
1998Using Blocks for Constraint Satisfaction.
Bernhard Seybold, Felix J. Metzger, G. Ogan, Klaus Simon
1998Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems.
Paul Shaw
1998Using Graph Decomposition for Solving Continuous CSPs.
Christian Bliek, Bertrand Neveu, Gilles Trombettoni