Boosting Definability Bipartition Computation Using SAT Witnesses.

Jean-Marie Lagniez, Pierre Marquis

Browse the full JELIA paper archive.