conftrace_

unsolvability certificate

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sound and complete (1) independent verification (1) proof system (1) classical planning (1) planning task (1)

Papers

Inductive Certificates of Unsolvability for Domain-Independent Planning IJCAI 2018 Towards Certified Unsolvability in Classical Planning IJCAI 2017