Two Approaches to the Solution Maintenance Problem in Dynamic Constraint Satisfaction Problems (1993)
by
Thomas Schiex
,
Gérard Verfaillie
| Venue: | In Proceedings of the IJCAI93/SIGMAN Workshop on Knowledge-based Production Planning, Scheduling and Control |
| Citations: | 6 - 2 self |
Active Bibliography
| 92 | Nogood Recording for Static and Dynamic Constraint Satisfaction Problems – Thomas Schiex, Gérard Verfaillie - 1993 |
| Representation and Practical Handling of Flexibility in Constrained Problems – Gérard Bel - 1992 | |
| 328 | Algorithms for Constraint Satisfaction Problems: A Survey – Vipin Kumar - 1992 |
| Réseaux De Contraintes – Thomas Schiex - 2000 | |
| 176 | Algorithms for Distributed Constraint Satisfaction: A Review – Makoto Yokoo, Katsutoshi Hirayama - 2000 |
| 12 | Lifted Search Engines for Satisfiability – Andrew J. Parkes - 1999 |
| 1 | Autour Du Problème De Satisfaction De Contraintes – Amit Bellicha, Bertrand Neveu, Brigitte Trousse, Christian Bessière, Christine Gaspin, David Lesaint, Fabrice Bouquet, Florence Dupin de Saint-Cyr, Gilles Trombettoni, Gérard Verfaillie, Hélène Fargier, Jean-Charles Régin, Jean-Pierre Rellier, Jérôme Amilhastre, Jérôme Lang, Khaled Ghedira, Marie-Catherine Vilarem, Martin Cooper, Mouhssine Bouzoubaa, Olivier Lhomme, Philippe Charman, Philippe David, Philippe Janssen, Philippe Jégou, Pierre Berlandier, Roger Martin-Clouaire, Thomas Schiex, Tibor Kökény, Tibor Kokeny - 1994 |
| 70 | Exploiting the deep structure of constraint problems – Colin Williams, Tad Hogg - 1994 |
| 6 | Backtracking Search Algorithms – Peter van Beek - 2006 |
| 79 | Solution Reuse in Dynamic Constraint Satisfaction Problems – Gérard Verfaillie, Thomas Schiex - 1994 |
| 56 | Local Search With Constraint Propagation and Conflict-Based Heuristics – Narendra Jussien, Olivier Lhomme - 2002 |
| 5 | A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering – Steven Woods - 1996 |
| 6 | Incremental Adaptation of Constraint Handling Rule Derivations – Armin Wolf - 1997 |
| 24 | Building University timetables using Constraint Logic Programming – Christelle Gueret, Narendra Jussien, Patrice Boizumault , Christian Prins - 1995 |
| Backtrack-Bounded Search in Polynomial Space – Roberto Bayardo, Jr., Daniel P. Miranker - 1994 | |
| 3 | Distributed Constraint Satisfaction Problems - A Model and Application – G. Solotorevsky, E. Gudes, A. MEISELS, Am@cs. Bgu. Ac. Il - 1997 |
| 6 | Implementing Constraint Relaxation over Finite Domains using Assumption-based Truth Maintenance Systems – Narendra Jussien, Patrice Boizumault - 1996 |
| 107 | Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996 |
| 141 | Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995 |
