conftrace_

iterative cascading

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

configuration selection (1) sat solving (1) sat solver (1) tree decomposition (1) policy selection (1) iterative optimization (1)

Papers

SAT-Based Tree Decomposition with Iterative Cascading Policy Selection AAAI 2024