Automating Thought of Search: A Journey Towards Soundness and Completeness (Student Abstract).

Daniel Cao, Michael Katz, Harsha Kokel, Kavitha Srinivas, Shirin Sohrabi

Browse the full AAAI paper archive.