Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning.

Biplav Srivastava

Browse the full AAAI paper archive.