6 citations · 7 across the 2 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…