ML Anthology

SATenstein: Automatically Building Local Search SAT Solvers from Components

Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
IJCAI 2009 pp. 517-524
doi:10.14288/1.0051500 /ijcai/2009/khudabukhsh2009ijcai-satenstein/
PDF IJCAI Semantic Scholar

Cite

Text

KhudaBukhsh et al. "SATenstein: Automatically Building Local Search SAT Solvers from Components." International Joint Conference on Artificial Intelligence, 2009. doi:10.14288/1.0051500

Markdown

[KhudaBukhsh et al. "SATenstein: Automatically Building Local Search SAT Solvers from Components." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/khudabukhsh2009ijcai-satenstein/) doi:10.14288/1.0051500

BibTeX

@inproceedings{khudabukhsh2009ijcai-satenstein,
  title     = {{SATenstein: Automatically Building Local Search SAT Solvers from Components}},
  author    = {KhudaBukhsh, Ashiqur R. and Xu, Lin and Hoos, Holger H. and Leyton-Brown, Kevin},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {517-524},
  doi       = {10.14288/1.0051500},
  url       = {https://mlanthology.org/ijcai/2009/khudabukhsh2009ijcai-satenstein/}
}