Learning from Learning Solvers

  • Maxim Shishmarev
  • Christopher Mears
  • Guido Tack
  • Maria Garcia de la Banda
Conference paper

DOI: 10.1007/978-3-319-44953-1_29

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9892)
Cite this paper as:
Shishmarev M., Mears C., Tack G., Garcia de la Banda M. (2016) Learning from Learning Solvers. In: Rueher M. (eds) Principles and Practice of Constraint Programming. CP 2016. Lecture Notes in Computer Science, vol 9892. Springer, Cham

Abstract

Modern constraint programming solvers incorporate SAT-style clause learning, where sets of domain restrictions that lead to failure are recorded as new clausal propagators. While this can yield dramatic reductions in search, there are also cases where clause learning does not improve or even hinders performance. Unfortunately, the reasons for these differences in behaviour are not well understood in practice. We aim to cast some light on the practical behaviour of learning solvers by profiling their execution. In particular, we instrument the learning solver Chuffed to produce a detailed record of its execution and extend a graphical profiling tool to appropriately display this information. Further, this profiler enables users to measure the impact of the learnt clauses by comparing Chuffed’s execution with that of a non-learning solver, and examining the points at which their behaviours diverge. We show that analysing a solver’s execution in this way can be useful not only to better understand its behaviour — opening what is typically a black box — but also to infer modifications to the original constraint model that can improve the performance of both learning and non-learning solvers.

Supplementary material

419601_1_En_29_MOESM1_ESM.pdf (2.5 mb)
Supplementary material 1 (pdf 2539 KB)

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Maxim Shishmarev
    • 1
  • Christopher Mears
    • 1
    • 2
  • Guido Tack
    • 1
    • 2
  • Maria Garcia de la Banda
    • 1
    • 2
  1. 1.Faculty of ITMonash UniversityMelbourneAustralia
  2. 2.Data61/CSIROMelbourneAustralia

Personalised recommendations