14 citations · 14 across the 3 of their papers we have counts for
1 paper · 1 filter
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet +4
SAT provers are powerful tools for solving real-sized logic problems, but using them requires solid programming knowledge and may be seen w.r.t.\ logic like assembly language w.r.t…