Using Stochastic Local Search to Solve Quantified Boolean Formulae - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth. Using Stochastic Local Search to Solve Quantified Boolean Formulae. In Francesca Rossi, editor, Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings. Volume 2833 of Lecture Notes in Computer Science, pages 348-362, Springer, 2003. [doi]

The following publications are possibly variants of this publication:

Solving Combinatorial Auctions Using Stochastic Local SearchHolger H. Hoos, Craig Boutilier. AAAI 2000: 22-29

Efficient Stochastic Local Search for MPE SolvingFrank Hutter, Holger H. Hoos, Thomas Stützle. IJCAI 2005: 169-174 [doi]

runs on WebDSL