DBLP:conf/ijcai/HoffmannGSK07 + redirect page
SAT Encodings of State-Space Reachability Problems in Numeric Domains + Has identifier
| SAT Encodings of State-Space Reachability Problems in Numeric Domains |
Has publishing details
pp. 1918-1923, 2007
Has title
SAT Encodings of State-Space Reachability Problems in Numeric Domains
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2007.html#HoffmannGSK07
Has where published
IJCAI
Has year
2007
Has author
Jörg Hoffmann +, Carla P. Gomes +, Bart Selman +, Henry A. Kautz +
Has identifier
SAT Encodings of State-Space Reachability Problems in Numeric Domains +
Categories Proceeding Paper +
|
