conftrace_

failure-based learning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

variable ordering (1) search heuristic (1) constraint satisfaction (1) branch and bound (1)

Papers

Right Branches Matter in Failure-based Variable Ordering Heuristics AAAI 2026