conftrace_

sat planning

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

plan verification (2) sat encoding (2) hierarchical task network (2) automated planning (2) sat-based planning (1) lifted planning (1) ai planning (1) planning problem (1) domain-independent planning (1) sat solving (1)

Papers

Symbolic Reasoning Methods for AI Planning AAAI 2024 Formally Verified SAT-Based AI Planning AAAI 2023 Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning AAAI 2019