Implementing Efficient All Solutions SAT Solvers

2 October 2015

Papers citing "Implementing Efficient All Solutions SAT Solvers"

3 / 3 papers shown

Title
The minimal hitting set generation problem: algorithms and computation Andrew Gainer-Dewar Paola Vera-Licona 37 67 0 05 Jan 2016
The Language of Search Adnan Darwiche J. Huang 85 68 0 12 Oct 2011
Conflict-Directed Backjumping Revisited Xinguang Chen P. V. Beek 70 82 0 01 Jun 2011