Automatic Streamlining for Constrained Optimisation

  • Patrick SpracklenEmail author
  • Nguyen Dang
  • Özgür Akgün
  • Ian Miguel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11802)


Augmenting a base constraint model with additional constraints can strengthen the inferences made by a solver and therefore reduce search effort. We focus on the automatic addition of streamliner constraints, which trade completeness for potentially very significant reduction in search. Recently an automated approach has been proposed, which produces streamliners via a set of streamliner generation rules. This existing automated approach to streamliner generation has two key limitations. First, it outputs a single streamlined model. Second, the approach is limited to satisfaction problems. We remove both limitations by providing a method to produce automatically a portfolio of streamliners, each representing a different balance between three criteria: how aggressively the search space is reduced, the proportion of training instances for which the streamliner admitted at least one solution, and the average reduction in quality of the objective value versus the unstreamlined model. In support of our new method, we present an automated approach to training and test instance generation, and provide several approaches to the selection and application of the streamliners from the portfolio. Empirical results demonstrate drastic improvements both to the time required to find good solutions early and to prove optimality on three problem classes.


Constraint programming Streamliners 



This work is supported by UK EPSRC grant EP/P015638/1. It used the Cirrus UK National Tier-2 HPC Service at EPCC ( funded by the University of Edinburgh and EPSRC (EP/P020267/1).


  1. 1.
    Akgün, Ö.: Extensible automated constraint modelling via refinement of abstract problem specifications. Ph.D. thesis, University of St Andrews (2014)Google Scholar
  2. 2.
    Akgün, Ö., Dang, N., Miguel, I., Salamon, A.Z., Stone, C.: Instance generation via generator instances. In: Schiex, T., de Givry, S. (eds.) CP 2019. LNCS, vol. 11802, pp. 3–19. Springer, Cham (2019)CrossRefGoogle Scholar
  3. 3.
    Akgün, Ö., Gent, I.P., Jefferson, C., Miguel, I., Nightingale, P.: Breaking conditional symmetry in automated constraint modelling with Conjure. In: ECAI, pp. 3–8 (2014)Google Scholar
  4. 4.
    Auer, P., Cesa-Bianchi, N., Fischer, P.: Finite-time analysis of the multiarmed bandit problem. Mach. Learn. 47(2), 235–256 (2002). Scholar
  5. 5.
    Browne, C., et al.: A survey of Monte Carlo tree search methods. IEEE Trans. Comput. Intell. AI 4, 1–43 (2012)CrossRefGoogle Scholar
  6. 6.
    Burke, D.A., Brown, K.N.: CSPLib problem 048: minimum energy broadcast (MEB).
  7. 7.
    Charnley, J., Colton, S., Miguel, I.: Automatic generation of implied constraints. In: ECAI, vol. 141, pp. 73–77 (2006)Google Scholar
  8. 8.
    Chu, G., Stuckey, P.J.: Learning value heuristics for constraint programming. In: Michel, L. (ed.) CPAIOR 2015. LNCS, vol. 9075, pp. 108–123. Springer, Cham (2015). Scholar
  9. 9.
    Colton, S., Miguel, I.: Constraint generation via automated theory formation. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 575–579. Springer, Heidelberg (2001). Scholar
  10. 10.
    Dunlop, F., Enright, J., Jefferson, C., McCreesh, C., Prosser, P., Trimble, J.: Expression of graph problems in a high level modelling language. In: Proceedings of the International Workshop on Graphs and Constraints (2018)Google Scholar
  11. 11.
    Fages, J.G., Prud’Homme, C.: Making the first solution good! In: 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), pp. 1073–1077. IEEE (2017)Google Scholar
  12. 12.
    Frisch, A.M., Grum, M., Jefferson, C., Hernández, B.M., Miguel, I.: The essence of essence. Modelling and Reformulating Constraint Satisfaction Problems, p. 73 (2005)Google Scholar
  13. 13.
    Frisch, A.M., Grum, M., Jefferson, C., Hernández, B.M., Miguel, I.: The design of essence: a constraint language for specifying combinatorial problems. In: IJCAI, vol. 7, pp. 80–87 (2007)Google Scholar
  14. 14.
    Frisch, A.M., Harvey, W., Jefferson, C., Martínez-Hernández, B., Miguel, I.: Essence: a constraint language for specifying combinatorial problems. Constraints 13(3), 268–306 (2008)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Frisch, A.M., Jefferson, C., Miguel, I.: Symmetry breaking as a prelude to implied constraints: a constraint modelling pattern. In: ECAI, vol. 16, p. 171 (2004)Google Scholar
  16. 16.
    Frisch, A.M., Miguel, I., Walsh, T.: Symmetry and implied constraints in the steel mill slab design problem. In: Proceedings of the CP01 Workshop on Modelling and Problem Formulation (2001)Google Scholar
  17. 17.
    Frisch, A.M., Miguel, I., Walsh, T.: CGRASS: a system for transforming constraint satisfaction problems. In: O’Sullivan, B. (ed.) CologNet 2002. LNCS, vol. 2627, pp. 15–30. Springer, Heidelberg (2003). Scholar
  18. 18.
    Gent, I.P., et al.: Learning when to use lazy learning in constraint solving. In: ECAI, pp. 873–878. Citeseer (2010)Google Scholar
  19. 19.
    Gent, I.P., Jefferson, C., Miguel, I.: Minion: a fast scalable constraint solver. In: ECAI, vol. 141, pp. 98–102 (2006)Google Scholar
  20. 20.
    Gomes, C., Sellmann, M.: Streamlined constraint reasoning. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 274–289. Springer, Heidelberg (2004). Scholar
  21. 21.
    Kocsis, L., Szepesvári, C.: Bandit based Monte-Carlo planning. In: Fürnkranz, J., Scheffer, T., Spiliopoulou, M. (eds.) ECML 2006. LNCS (LNAI), vol. 4212, pp. 282–293. Springer, Heidelberg (2006). Scholar
  22. 22.
    Kouril, M., Franco, J.: Resolution tunnels for improved SAT solver performance. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol. 3569, pp. 143–157. Springer, Heidelberg (2005). Scholar
  23. 23.
    Le Bras, R., Gomes, C.P., Selman, B.: On the Erdős Discrepancy Problem. In: O’Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 440–448. Springer, Cham (2014). Scholar
  24. 24.
    LeBras, R., Gomes, C.P., Selman, B.: Double-wheel graphs are graceful. In: IJCAI, pp. 587–593 (2013)Google Scholar
  25. 25.
    López-Ibáñez, M., Dubois-Lacoste, J., Cáceres, L.P., Birattari, M., Stützle, T.: The irace package: iterated racing for automatic algorithm configuration. Oper. Res. Perspectives 3, 43–58 (2016)MathSciNetCrossRefGoogle Scholar
  26. 26.
    Munos, R.: From bandits to Monte-Carlo tree search: the optimistic principle applied to optimization and planning. FTML 7(1), 1–129 (2014). Scholar
  27. 27.
    Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007). Scholar
  28. 28.
    Nightingale, P.: CSPLib problem 056: synchronous optical networking (SONET) problem.
  29. 29.
    Nightingale, P., Akgün, O., Gent, I.P., Jefferson, C., Miguel, I., Spracklen, P.: Automatically improving constraint models in Savile Row. Artif. Intell. 251, 35–61 (2017). Scholar
  30. 30.
    Palmieri, A., Perez, G.: Objective as a feature for robust search strategies. In: Hooker, J. (ed.) CP 2018. LNCS, vol. 11008, pp. 328–344. Springer, Cham (2018). Scholar
  31. 31.
    Pesant, G.: Counting-based search for constraint optimization problems. In: Thirtieth AAAI Conference on Artificial Intelligence (2016)Google Scholar
  32. 32.
    Spracklen, P., Akgün, Ö., Miguel, I.: Automatic generation and selection of streamlined constraint models via Monte Carlo search on a model lattice. In: Hooker, J. (ed.) CP 2018. LNCS, vol. 11008, pp. 362–372. Springer, Cham (2018). Scholar
  33. 33.
    Walsh, T.: CSPLib problem 013: progressive party problem.
  34. 34.
    Wang, W., Sebag, M.: Hypervolume indicator and dominance reward based multi-objective monte-carlo tree search. Mach. Learn. 92(2–3), 403–429 (2013)MathSciNetCrossRefGoogle Scholar
  35. 35.
    Wetter, J., Akgün, Ö., Miguel, I.: Automatically generating streamlined constraint models with essence and conjure. In: Pesant, G. (ed.) CP 2015. LNCS, vol. 9255, pp. 480–496. Springer, Cham (2015). Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Patrick Spracklen
    • 1
    Email author
  • Nguyen Dang
    • 1
  • Özgür Akgün
    • 1
  • Ian Miguel
    • 1
  1. 1.School of Computer ScienceUniversity of St AndrewsSt AndrewsUK

Personalised recommendations