conftrace_

strips planning

5 papers

Explore in graph

Also known as

STRIPS

Co-occurring keywords · papers mentioning both

computational complexity (2) automated planning (2) mutex group (1) graph clique (1) cost-optimal planning (1) behavior tree (1) sat encoding (1) agent coordination (1) service robot (1) predicate logic (1)

Papers

Inapproximability of STRIPS Planning AAAI 2026 BTPG: A Platform and Benchmark for Behavior Tree Planning in Everyday Service Robots IJCAI 2025 Efficient Encoding of Cost Optimal Delete-Free Planning as SAT AAAI 2022 Automated Synthesis of Social Laws in STRIPS AAAI 2020 Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract) IJCAI 2018