Conferences in DBLP
Peter Jeavons , David A. Cohen , Martin C. Cooper A Substitution Operation for Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Sabin , Eugene C. Freuder Contradicting Conventional Wisdom in Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Yuejun Jiang , Thomas Richards , Barry Richards Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Djamila Haroud , Boi Faltings Global Consistency for Continuous Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Hosobe , Ken Miyashita , Shin Takahashi , Satoshi Matsuoka , Akinori Yonezawa Locally Simultaneous Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Sannella Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Suresh Thennarangam , Gurminder Singh Inferring 3-dimensional constraints with DEVI. [Citation Graph (0, 0)][DBLP ] Conf ] Joxan Jaffar , Michael J. Maher , Peter J. Stuckey , Roland H. C. Yap Beyond Finite Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Pesant , Michel Boyer QUAD-CLP(R): Adding the Power of Quadratic Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Arcot Rajasekar Applications in Constraint Logic Programming with Strings. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel V. Hermenegildo Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Schulte , Gert Smolka , Jörg Würtz Encapsulated Search and Constraint Programming in Oz. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Montanari , Francesca Rossi , Francisco Bueno , Maria J. García de la Banda , Manuel V. Hermenegildo Towards a Concurrent Semantics based Analysis of CC and CLP. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Montanari , Francesca Rossi , Vijay A. Saraswat CC Programs with both In- and Non-determinism: A Concurrent Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Ashish Gupta , Yehoshua Sagiv , Jeffrey D. Ullman , Jennifer Widom Efficient and Complete Tests for Database Integrity Constraint Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Foto N. Afrati , Stavros S. Cosmadakis , Stéphane Grumbach , Gabriel M. Kuper Linear vs Polynomial Constraints in Database Query Languages. [Citation Graph (9, 0)][DBLP ] Conf ] Kenneth A. Ross , Divesh Srivastava , Peter J. Stuckey , S. Sudarshan Foundations of Aggregation Constraints. [Citation Graph (6, 0)][DBLP ] Conf ] Marianne Baudinet , Jan Chomicki , Pierre Wolper Constraint-Generating Dependencies. [Citation Graph (0, 0)][DBLP ] Conf ] Divesh Srivastava , Raghu Ramakrishnan , Peter Z. Revesz Constraint Objects. [Citation Graph (7, 0)][DBLP ] Conf ] Ying Zhang , Alan K. Mackworth Specification and Verification of Constraint-Based Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg , David A. McAllester GSAT and Dynamic Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] Manolis Koubarakis Foundations of Indefinite Constraint Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Nevin Heintze , Joxan Jaffar Set Constraints and Set-Based Analysis. [Citation Graph (2, 0)][DBLP ] Conf ] Massimo Paltrinieri On the Design of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] William Pugh , David Wonnacott Experiences with Constraint-based Array Dependence Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Aiken Set Constraints: Results, Applications, and Future Directions. [Citation Graph (2, 0)][DBLP ] Conf ] John N. Hooker Logic-Based Methods for Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] David Kurlander , Jean-Francois Puget , Jeff Heisserman Panel Session: Commercial Applications of Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] 