SAT Encodings of State-Space Reachability Problems in Numeric Domains

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/HoffmannGSK07, title={SAT Encodings of State-Space Reachability Problems in Numeric Domains}, pages={1918-1923}, year={2007}, crossref={DBLP:conf/ijcai/2007}, booktitle={IJCAI}, ee={http://www.ijcai.org/papers07/Papers/IJCAI07-309.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2007.html#HoffmannGSK07}, author={Jörg Hoffmann and Carla P. Gomes and Bart Selman and Henry A. Kautz} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/SAT_Encodings_of_State-Space_Reachability_Problems_in_Numeric_Domains"
Personal tools