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]
@inproceedings{KhudaBukhshXHL09, title = {SATenstein: Automatically Building Local Search SAT Solvers from Components}, author = {Ashiqur R. KhudaBukhsh and Lin Xu and Holger H. Hoos and Kevin Leyton-Brown}, year = {2009}, url = {http://ijcai.org/papers09/Papers/IJCAI09-093.pdf}, tags = {search}, researchr = {https://researchr.org/publication/KhudaBukhshXHL09}, cites = {0}, citedby = {0}, pages = {517-524}, booktitle = {IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}, editor = {Craig Boutilier}, }