6 citations · 13 across the 11 of their papers we have counts for
1 paper · 2 filters
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…