e-constraints.net
the home of Explanation-based Constraint Programming
|
|
e-constraints.net : Pointers : A bibliography
Here is partial bibliography on explanation-based constraint programming. References have been classified according to the addressed issue on eCP. Within each category, publications are sorted upon their date of publication. If you feel that something is missing or wrong, feel free to send an email to the webmaster.
1. Theoretical foundations for explanations
2. Implementation of explanation-based systems
3. Using explanations for debugging
4. Using explanations for solving dynamic problems
5. Using explanations for designing new algorithms
6. Related works
- Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier
- "Correctness of Constraint Retraction Algorithms"
, FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, pp. ???-???, AAAI press, 2003
reference, abstract, article
[pdf, 134 KB]
- Narendra Jussien
- "e-constraints: explanation-based Constraint Programming"
, CP01 Workshop on User-Interaction in Constraint Satisfaction, 2001
reference, abstract, article
[pdf, 227 KB]
- Christian Bliek
- "Generalizing Partial Order and Dynamic Backtracking"
, Fifth National Conference on Artificial Intelligence - AAAI'98, 1998
reference
- Narendra Jussien
- "Relaxation de Contraintes pour les problèmes dynamiques"
, Université de Rennes I, PhD thesis, 1997
reference, abstract, article
[pdf, 1579 KB]
- Roberto Bayardo Jr., Daniel Miranker
- "A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem"
, AAAI'96, 1996
reference
- Matthew L. Ginsberg
- "Dynamic Backtracking"
, in: "Journal of Artificial Intelligence Research", vol. 1, pp. 25-46, 1993
reference
- Samir Ouis, Narendra Jussien, Patrice Boizumault
- "COINS: a constraint-based interactive solving system"
, ICLP'02 12th Workshop on Logic Programming Environments (WLPE'02), 2002
reference, abstract, article
[pdf, 249 KB]
- Rémi Douence, Narendra Jussien
- "Non-intrusive constraint solver enhancements"
, Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'02), CW Reports, vol. 344, pp. 26-36, 2002
reference, abstract, article
[pdf, 349 KB]
- Ulrich Junker
- "QUICKXPLAIN: Conflict Detection for Arbitrary Constraint Propagation Algorithms"
, IJCAI'01 Workshop on Modelling and Solving problems with constraints, 2001
reference, abstract
- Narendra Jussien, Vincent Barichard
- "The PaLM system: explanation-based constraint programming"
, Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, pp. 118-133, 2000
reference, abstract, article
[pdf, 216 KB]
- Narendra Jussien, Patrice Boizumault
- "Implementing Constraint Relaxation over Finite Domains using ATMS"
, Over-Constrained Systems, Lecture Notes in Computer Science, no. 1106, pp. 265-280, Springer-Verlag, 1996
reference, abstract, article
[pdf, 201 KB]
- Mohammed H. Sqalli, Eugene C. Freuder
- "Inference-Based Constraint Satisfaction Supports Explanation"
, AAAI/IAAI, Vol. 1, pp. 318-325, 1996
reference
- Samir Ouis, Narendra Jussien, Patrice Boizumault
- "k-relevant explanations for constraint programming"
, FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, pp. ???-???, AAAI press, 2003
reference, abstract, article
[pdf, 116 KB]
- Yann-Gaël Guéhéneuc, Narendra Jussien
- "Using explanations for design-patterns identification"
, IJCAI'01 Workshop on Modelling and Solving problems with constraints, pp. 57-64 , 2001
reference, abstract, article
[pdf, 222 KB]
- Narendra Jussien, Samir Ouis
- "User-friendly explanations for constraint programming"
, ICLP'01 11th Workshop on on Logic Programming Environments, 2001
reference, abstract, article
[pdf, 285 KB]
- Hervé Albin-Amiot, Pierre Cointe, Yann-Gaël Guéhéneuc, Narendra Jussien
- "Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together"
, 16th IEEE conference on Automated Software Engineering (ASE'01), 2001
reference, abstract, article
[pdf, 269 KB]
- Abdallah Elkhyari, Christelle Guéret, Narendra Jussien
- "Conflict-based repair techniques for solving dynamic scheduling problems"
, Principles and Practice of Constraint Programming (CP 2002), Lecture Notes in Computer Science, no. 2470, pp. 702-707, Springer-Verlag, Short paper., 2002
reference, article
[pdf, 152 KB]
- Narendra Jussien, Patrice Boizumault
- "Best-first search for property Maintenance in reactive constraints systems"
, International Logic Programming Symposium, pp. 339-353, MIT Press, 1997
reference, abstract, article
[pdf, 476 KB]
- Narendra Jussien, Patrice Boizumault
- "A Best First approach for solving over-constrained dynamic problems"
, IJCAI'97, (poster - RR 97-6-INFO - École des Mines de Nantes), 1997
reference, abstract, article
[pdf, 219 KB]
- Gérard Verfaillie, Thomas Schiex
- "Solution reuse in dynamic constraint satisfaction problems"
, AAAI'94, pp. 307-312, 1994
reference
- Christian Bessière
- "Arc consistency for non-binary dynamic CSPs"
, Proceedings ECAI'92, 1992
reference
- Christian Bessière
- "Arc consistency in dynamic constraint satisfaction problems"
, National Conference on Artificial Intelligence - AAAI'91, 1991
reference
- Narendra Jussien, Olivier Lhomme
- "Local search with constraint propagation and conflict-based heuristics"
, in: "Artificial Intelligence", vol. 139, no. 1, pp. 21-45, 2002
reference, abstract, article
[pdf, 170 KB]
- Narendra Jussien, Olivier Lhomme
- "The path-repair algorithm"
, CP99 Post-conference workshop on Large scale combinatorial optimisation and constraints, Electronic Notes in Discrete Mathematics, vol. 4, Elsevier Science, 2000
reference, abstract, article
[pdf, 213 KB]
- Narendra Jussien, Romuald Debruyne, Patrice Boizumault
- "Maintaining Arc-Consistency within Dynamic Backtracking"
, Principles and Practice of Constraint Programming (CP 2000), Lecture Notes in Computer Science, no. 1894, pp. 249-261, Springer-Verlag, 2000
reference, abstract, article
[pdf, 226 KB]
- Christelle Guéret, Narendra Jussien, Christian Prins
- "Using intelligent backtracking to improve branch and bound methods: an application to Open-Shop problems"
, in: "European Journal of Operational Research", vol. 127, no. 2, pp. 344-354, 2000
reference, abstract, article
[pdf, 146 KB]
- Narendra Jussien, Christelle Guéret
- "Improving branch and bound algorithms for Open Shop problems"
, Conference of the International Federation of Operational Research Societies (IFORS'99), 1999
reference, abstract, article
[pdf, 172 KB]
- Christelle Guéret, Narendra Jussien
- "Combining AI/OR techniques for solving Open Shop problems"
, Workshop on Integration of Operations Research and Artifical Intelligence techniques in Constraint Programming (CP-AI-OR), 1999
reference, article
[pdf, 104 KB]
- Narendra Jussien, Olivier Lhomme
- "Dynamic domain splitting for numeric CSP"
, European Conference on Artificial Intelligence, pp. 224-228, 1998
reference, abstract, article
[pdf, 164 KB]
- Narendra Jussien, Olivier Lhomme
- "About avoidable computations in Interval methods"
, SCAN - IMACS/GAMM international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 1998
reference, abstract, article
[pdf, 49 KB]
- Narendra Jussien, Patrice Boizumault
- "Dynamic Backtracking with Constraint Propagation - Application to static and dynamic CSPs"
, CP97 Workshop on The Theory and Practice of Dynamic Constraint Satisfaction, 1997
reference, abstract, article
[pdf, 283 KB]
- Roberto Bayardo Jr., Robert Schrag
- "Using CSP look-back techniques to solve real world SAT instances"
, 14th National Conf. on Artificial Intelligence, AAAI97, pp. 203-208, 1997
reference
- Narendra Jussien, Olivier Lhomme
- "Dynamic Backtracking with Constraint Propagation - Application to numeric CSPs"
, CP97 Workshop on The Theory and Practice of Dynamic Constraint Satisfaction, 1997
reference, abstract, article
[pdf, 202 KB]
- Christian Holzbaur, Francisco Menezes, Pedro Barahona
- "Defeasibility in CLP(Q) throught Generalized Slack Variables"
, Principles and Practice of Constraint Programming - CP 96, Lecture Notes in Computer Science, no. 1118, pp. 209-223, 1996
reference
- Roberto Bayardo Jr., Robert Schrag
- "Using CSP look-back techniques to solve exceptionnaly hard SAT instances"
, CP'96, 1996
reference
- Patrick Prosser
- "MAC-CBJ: maintaining arc-consistency with conflict-directed backjumping"
, Department of Computer Science - University of Strathclyde, technical report, no. RR - 95/177, 1995
reference
- Thomas Schiex, Gérard Verfaillie
- "Nogood Recording fot Static and Dynamic Constraint Satisfaction Problems"
, in: "International Journal of Artificial Intelligence Tools", vol. 3, no. 2, pp. 187-207, 1994
reference
- Bruno de Backer, Henri Béringer
- "Intelligent Backtracking for CLP Languages: An Application
to CLP(\cal R)"
, ILPS'91: Proceedings International Logic Programming Symposium, pp. 405-419, MIT Press, 1991
reference
- J. Amilhastre, H. Fargier, P. Marquis
- "Consistency restoration and explanations in dynamic CSPs - Application to configuration"
, in: "Artificial Intelligence", vol. 135, no. 2002, pp. 199-234, 2002
reference
- Freuder, Eugene C., Likitvivatanavong, Chavalit, Wallace, Richard J.
- "A Case Study in Explanation and Implication"
, In CP2000 Workshop on Analysis and Visualization of Constraint Programs and Solvers, 2000
reference
- Francisco Menezes, Pedro Barahona
- "Defeasible constraint solving"
, Over-Constrained Systems, Lecture Notes in Computer Science, no. 1106, pp. 151-170, Springer Verlag, 1996
reference
- Christian Bessière, Jean-Charles Régin
- "MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problem"
, Principles and Practice of Constraint Programming (CP'96), 1996
reference
- Henri Béringer, Bruno de Backer
- "Combinatorial problem solving in constraint logic programming with cooperative solvers"
, Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence, vol. 11, 1995
reference
- Andrew B. Baker
- "The Hazards of Fancy Backtracking"
, 12th National Conf. on Artificial Intelligence, AAAI94, pp. 288-293, 1994
reference
- Frost, Dechter
- "Dead-end driven learning"
, 12th National Conf. on Artificial Intelligence, AAAI94, 1994
reference
- R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognum
- "Diagnosing and solving over-determined constraint satisfaction problems"
, Proceedings IJCAI'93, pp. 276-281, 1993
reference
- Kenneth D. Forbus, Johan de Kleer
- "Building Problem Solvers"
, MIT Press, Cambridge, 1993
reference
- Patrick Prosser
- "Hybrid Algorithms for the Constraint Satisfaction Problem"
, in: "Computational Intelligence", vol. 9, no. 3, pp. 268-299, (Also available as Technical Report AISL-46-91, Stratchclyde, 1991), 1993
reference
- Henri Béringer, Bruno de Backer
- "Piecewise linear constraints under assumptions a new approach to model based diagnosis"
, ITESM : Third international symposium on artificial intelligence, 1990
reference
- N. de Siqueira, J. F. Puget
- "Explanation-based generalisation of failures"
, Proceedings ECAI'88, pp. 339-344, 1988
reference
- Johan de Kleer
- "An Assumption-based TMS"
, in: "Artificial Intelligence", vol. 28, pp. 127-162, 1986
reference
- Johan de Kleer
- "Extending the ATMS"
, in: "Artificial Intelligence", vol. 28, pp. 163-196, 1986
reference
- Johan de Kleer
- "Problem solving with the ATMS"
, in: "Artificial Intelligence", vol. 28, pp. 197-224, 1986
reference
- J. Doyle
- "A truth maintenance system"
, in: "Artificial Intelligence", vol. 12, pp. 231-272, 1979
reference