conftrace_

logic satisfiability

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

first-order representation (1) lifted planning (1) state-space search (1) discrete mathematics (1) first-order logic (1) constraint satisfaction (1) automated planning (1)

Papers

Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024