conftrace_

sat solving

27 papers

Explore in graph

Co-occurring keywords · papers mentioning both

sat solver (8) conflict-driven clause learning (3) quantified boolean formula (3) symmetry breaking (3) multi-agent path finding (3) constraint satisfaction (3) graph neural network (2) optimal planning (2) propositional logic (2) computational social choice (2)

Papers

SAT-Based Approaches for the General High School Timetabling Problem IJCAI 2017 Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method IJCAI 2017