135 citations · 329 across the 25 of their papers we have counts for
1 paper · 1 filter
Christian Drescher, Martin Gebser, Benjamin Kaufmann +1
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven le…