Conferences in DBLP
Farid Ajili , Evelyne Contejean Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Domenjoud , Ana Paula Tomás From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara M. Smith , Sally C. Brailsford , Peter M. Hubbard , H. Paul Williams The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared. [Citation Graph (0, 0)][DBLP ] Conf ] Manolis Koubarakis From Local to Global Consistency in Temporal Constraint Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Ian P. Gent , Ewan MacIntyre , Patrick Prosser , Toby Walsh Scaling Effects in the CSP Phase Transition. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Yokoo Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems. [Citation Graph (1, 0)][DBLP ] Conf ] Javier Larrosa , Pedro Meseguer Optimization-based Heuristics for Maximal Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Grumbach , Jianwen Su First-order Definability over Constraint Databases. [Citation Graph (5, 0)][DBLP ] Conf ] Dina Q. Goldin , Paris C. Kanellakis On Similarity Queries for Time-Series Data: Constraint Specification and Implementation. [Citation Graph (7, 0)][DBLP ] Conf ] Peter Z. Revesz Safe Stratified Datalog with Integer Order Programs. [Citation Graph (4, 0)][DBLP ] Conf ] Michael J. Maher Constrained Dependencies. [Citation Graph (1, 0)][DBLP ] Conf ] Pierre Girodias , Eduard Cerny , William J. Older Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Micha Meier Debugging Constraint Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew D. Kelly , Andrew D. Macdonald , Kim Marriott , Harald Søndergaard , Peter J. Stuckey , Roland H. C. Yap An Optimizing Compiler for CLP(R). [Citation Graph (0, 0)][DBLP ] Conf ] Rina Dechter , Peter van Beek Local and Global Relational Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Fahiem Bacchus , Paul van Run Dynamic Variable Ordering in CSPs. [Citation Graph (2, 0)][DBLP ] Conf ] Peter Jeavons , David A. Cohen , Marc Gyssens A Unifying Framework for Tractable Constraints. [Citation Graph (2, 0)][DBLP ] Conf ] Fahiem Bacchus , Adam J. Grove On the Forward Checking Algorithm. [Citation Graph (2, 0)][DBLP ] Conf ] Kim Marriott , Martin Odersky A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Podelski , Gert Smolka Situated Simplification. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Codognet , Philippe Codognet Guarded Constructive Disjunction: Angel or Demon? [Citation Graph (0, 0)][DBLP ] Conf ] Enea Zaffanella Domain Independent Ask Approximation in CCP. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Klaus U. Schulz On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Jian Zhang , Hantao Zhang Constraint Propagation in Model Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Werner Normalizing Narrowing for Weakly Terminating and Confluent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Livio Colussi , Elena Marchiori , Massimo Marchiori On Termination of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Simonis , Trijntje Cornelissens Modelling Producer/Consumer Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Sabin , Mihaela Sabin , Robert D. Russell , Eugene C. Freuder A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Nabil Guerinik , Michel Van Caneghem Solving Crew Scheduling Problems bu Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Paltrinieri A Visual Constraint-Programming Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Antoine Rauzy Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? [Citation Graph (0, 0)][DBLP ] Conf ] Steven David Prestwich , Shyam Mudambi Improved Branch and Bound in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Joachim Goltz Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Buchberger What Is Symbolic Computation? [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Van Hentenryck Constraint Solving for Combinatorial Search Problems: A Tutorial. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay A. Saraswat The Concurrent Constraint Programming Research Programmes. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolaj Bjørner , Anca Browne , Zohar Manna Automatic Generation of Invariants and Assertions. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Borning , Bjørn N. Freeman-Benson The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Markus P. J. Fromherz , Vijay A. Saraswat Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Micha Meier , Alexander Herold CLP in ECRC. [Citation Graph (0, 0)][DBLP ] Conf ] Touraïvane Constraint Programming and Industrial Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Simonis The CHIP System and Its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Francois Puget Applications of Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] 