@inproceedings{prokopas_constructing_2013,
  title = {Constructing constraint solvers using {Monte} {Carlo} {Tree} {Search}},
  abstract = {Constraint solvers are complex pieces of software that are capable of solving a wide variety of problems. Customisation and specialisation opportunities are usually very limited and require specialist knowledge. The Dominion constraint solver synthesizer automatically creates problem-specific solvers. The configuration of a constraint solver is highly complex, especially if the aim is to achieve high performance. We demonstrate how Monte Carlo Tree Search can be employed to tackle this problem.},
  booktitle = {20th {Automated} {Reasoning} {Workshop}},
  author = {Prokopas, Arunas and Frisch, Alan M. and Gent, Ian P. and Jefferson, Christopher A. and Kotthoff, Lars and Miguel, Ian and Nightingale, Peter},
  month = apr,
  year = {2013},
  month_numeric = {4}
}