Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning.
['Minh Binh Do', 'Biplav Srivastava', 'Subbarao Kambhampati']
Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning.