ML Anthology

SAT Encodings of State-Space Reachability Problems in Numeric Domains

Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz
IJCAI 2007 pp. 1918-1923
/ijcai/2007/hoffmann2007ijcai-sat/
PDF IJCAI Semantic Scholar

Cite

Text

Hoffmann et al. "SAT Encodings of State-Space Reachability Problems in Numeric Domains." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Hoffmann et al. "SAT Encodings of State-Space Reachability Problems in Numeric Domains." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/hoffmann2007ijcai-sat/)

BibTeX

@inproceedings{hoffmann2007ijcai-sat,
  title     = {{SAT Encodings of State-Space Reachability Problems in Numeric Domains}},
  author    = {Hoffmann, Jörg and Gomes, Carla P. and Selman, Bart and Kautz, Henry A.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {1918-1923},
  url       = {https://mlanthology.org/ijcai/2007/hoffmann2007ijcai-sat/}
}