![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st CP 1995: Cassis, France
- Ugo Montanari, Francesca Rossi:
Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings. Lecture Notes in Computer Science 976, Springer 1995, ISBN 3-540-60299-2
Efficient Constraint Handling
- Farid Ajili, Evelyne Contejean:
Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables. 1-17 - Eric Domenjoud, Ana Paula Tomás
:
From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. 18-35 - Barbara M. Smith, Sally C. Brailsford
, Peter M. Hubbard, H. Paul Williams:
The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. 36-52
Constraint Satisfaction Problems 1
- Manolis Koubarakis:
From Local to Global Consistency in Temporal Constraint Networks. 53-69 - Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh:
Scaling Effects in the CSP Phase Transition. 70-87 - Makoto Yokoo:
Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems. 88-102 - Javier Larrosa, Pedro Meseguer:
Optimization-based Heuristics for Maximal Constraint Satisfaction. 103-120
Databases
- Stéphane Grumbach, Jianwen Su:
First-order Definability over Constraint Databases. 121-136 - Dina Q. Goldin, Paris C. Kanellakis:
On Similarity Queries for Time-Series Data: Constraint Specification and Implementation. 137-153 - Peter Z. Revesz
:
Safe Stratified Datalog with Integer Order Programs. 154-169
Constraint Logic Programming
- Michael J. Maher:
Constrained Dependencies. 170-185 - Pierre Girodias, Eduard Cerny, William J. Older:
Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic. 186-203 - Micha Meier:
Debugging Constraint Programs. 204-221 - Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard
, Peter J. Stuckey, Roland H. C. Yap:
An Optimizing Compiler for CLP(R). 222-239
Constraint Satisfaction Problems 2
- Rina Dechter, Peter van Beek:
Local and Global Relational Consistency. 240-257 - Fahiem Bacchus, Paul van Run:
Dynamic Variable Ordering in CSPs. 258-275 - Peter Jeavons, David A. Cohen, Marc Gyssens
:
A Unifying Framework for Tractable Constraints. 276-291 - Fahiem Bacchus, Adam J. Grove:
On the Forward Checking Algorithm. 292-308
Concurrent Constraint Programming
- Kim Marriott, Martin Odersky:
A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. 310-327 - Andreas Podelski, Gert Smolka:
Situated Simplification. 328-344 - Christian Codognet, Philippe Codognet:
Guarded Constructive Disjunction: Angel or Demon? 345-361 - Enea Zaffanella
:
Domain Independent Ask Approximation in CCP. 362-379
Computational Logic
- Franz Baader, Klaus U. Schulz:
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. 380-397 - Jian Zhang, Hantao Zhang:
Constraint Propagation in Model Generation. 398-414 - Andreas Werner:
Normalizing Narrowing for Weakly Terminating and Confluent Systems. 415-430 - Livio Colussi, Elena Marchiori, Massimo Marchiori:
On Termination of Constraint Logic Programs. 431-448
Applications
- Helmut Simonis, Trijntje Cornelissens
:
Modelling Producer/Consumer Constraints. 449-462 - Daniel Sabin, Mihaela Sabin, Robert D. Russell, Eugene C. Freuder:
A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks. 463-480 - Nabil Guerinik, Michel Van Caneghem:
Solving Crew Scheduling Problems bu Constraint Programming. 481-498 - Massimo Paltrinieri:
A Visual Constraint-Programming Environment. 499-514
Operation Research
- Antoine Rauzy:
Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? 515-532 - Steven D. Prestwich, Shyam Mudambi:
Improved Branch and Bound in Constraint Logic Programming. 533-548 - Hans-Joachim Goltz:
Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling. 549-562
Invited Lectures and Tutorials
- Bruno Buchberger:
What Is Symbolic Computation? 563 - Pascal Van Hentenryck:
Constraint Solving for Combinatorial Search Problems: A Tutorial. 564-587 - Vijay A. Saraswat:
The Concurrent Constraint Programming Research Programmes. 588 - Nikolaj S. Bjørner, Anca Browne, Zohar Manna:
Automatic Generation of Invariants and Assertions. 589-623
Industrial Presentations
- Alan Borning, Bjørn N. Freeman-Benson:
The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces. 624-628 - Markus P. J. Fromherz, Vijay A. Saraswat:
Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. 629-635 - Micha Meier, Alexander Herold:
CLP in ECRC. 636-639 - Touraïvane:
Constraint Programming and Industrial Applications. 640-642 - Helmut Simonis:
The CHIP System and Its Applications. 643-646 - Jean-Francois Puget:
Applications of Constraint Programming. 647-650
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.