SATenstein: Automatically Building Local Search SAT Solvers from Components - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown. SATenstein: Automatically Building Local Search SAT Solvers from Components. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 517-524, 2009. [doi]

This author has not been identified. Look up 'Ashiqur R. KhudaBukhsh' in GoogleThis author has not been identified. Look up 'Lin Xu' in GoogleThis author has not been identified. Look up 'Holger H. Hoos' in GoogleThis author has not been identified. Look up 'Kevin Leyton-Brown' in Google

runs on WebDSL