A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems

  • Christian Bessiere
  • Remi Coletta
  • Frédéric Koriche
  • Barry O’Sullivan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3720)


Constraint programming is rapidly becoming the technology of choice for modelling and solving complex combinatorial problems. However, users of this technology need significant expertise in order to model their problems appropriately. The lack of availability of such expertise is a significant bottleneck to the broader uptake of constraint technology in the real world. We present a new SAT-based version space algorithm for acquiring constraint satisfaction problems from examples of solutions and non-solutions of a target problem. An important advantage is the ease with which domain-specific knowledge can be exploited using the new algorithm. Finally, we empirically demonstrate the algorithm and the effect of exploiting domain-specific knowledge on improving the quality of the acquired constraint network.


Version Space Constraint Programming Constraint Satisfaction Problem Horn Clause Constraint Network 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Bessiere, C., Coletta, R., Freuder, E.C., O’Sullivan, B.: Leveraging the learning power of examples in automated constraint acquisition. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 123–137. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  2. 2.
    Coletta, R., Bessiere, C., O’Sullivan, B., Freuder, E.C., O’Connell, S., Quinqueton, J.: Constraint acquisition as semi-automatic modeling. In: Proc. of AI 2003, pp. 111–124 (2003)Google Scholar
  3. 3.
    Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. Journal of Logic Programming 1(3), 267–284 (1984)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Freuder, E.C., Wallace, R.J.: Suggestion strategies for constraint-based matchmaker agents. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol. 1520, pp. 192–204. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  5. 5.
    Haussler, D.: Quantifying inductive bias: AI learning algorithms and Valiant’s learning framework. Artificial Intelligence 36(2), 177–221 (1988)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Hirsh, H.: Polynomial-time learning with version spaces. In: Proceedings of AAAI 1992, pp. 117–122 (1992)Google Scholar
  7. 7.
    Hirsh, H., Mishra, N., Pitt, L.: Version spaces without boundary sets. In: Proceedings AAAI 1997, pp. 491–496 (1997)Google Scholar
  8. 8.
    Hirsh, H., Mishra, N., Pitt, L.: Version spaces and the consistency problem. Artificial Intelligence 156(2), 115–138 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Kleine Büning, H., Lettmann, T.: Propositional Logic: Deduction and Algorithms. Cambridge University Press, Cambridge (1999)zbMATHGoogle Scholar
  10. 10.
    Lallouet, A., Legtchenko, A., Monfroy, E., Ed-Dbali, A.: Solver learning for predicting changes in dynamic constraint satisfaction problems. In: Changes 2004 (2004)Google Scholar
  11. 11.
    Mitchell, T.: Generalization as search. Artificial Intelligence 18(2), 203–226 (1982)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Monasson, R., Zecchina, R., Kirkpatrick, S., Selman, B., Ttroyansky, L.: Determining computational complexity from characteristic ’phase transition’. Nature 400, 133–137 (1999)CrossRefMathSciNetGoogle Scholar
  13. 13.
    O’Sullivan, B., Freuder, E.C., O’Connell, S.: Interactive constraint acquisition – position paper. In: Workshop on User-Interaction in Constraint Satisfaction, pp. 73–81 (2001)Google Scholar
  14. 14.
    Padmanabhuni, S., You, J.-H., Ghose, A.: A framework for learning constraints. In: Proceedings of the PRICAI Workshop on Induction of Complex Representations (August 1996)Google Scholar
  15. 15.
    Rossi, F., Sperduti, A.: Acquiring both constraint and solution preferences in interactive constraint systems. Constraints 9(4), 311–332 (2004)CrossRefGoogle Scholar
  16. 16.
    Wallace, M.: Practical applications of constraint programming. Constraints 1(1–2), 139–168 (1996)CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Christian Bessiere
    • 1
  • Remi Coletta
    • 1
  • Frédéric Koriche
    • 1
  • Barry O’Sullivan
    • 2
  1. 1.LIRMM, CNRS / U. MontpellierMontpellierFrance
  2. 2.Cork Constraint Computation CentreUniversity College CorkIreland

Personalised recommendations