conftrace_

reachability constraint

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

acyclicity encoding (1) vertex elimination (1) graph encoding (1) acyclicity constraint (1) large language model (1) embodied reasoning (1) long-term planning (1) embodied navigation (1) sat encoding (1) propositional formula (1)

Papers

ProcWorld: Benchmarking Large Model Planning in Reachability-Constrained Environments EMNLP 2025 Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination AAAI 2022