Sat encodings of state-space reachability problems in numeric domains (2007)

by Jörg Hoffmann
Venue:In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07
Citations:7 - 2 self