From XSAT to SAT by Exhibiting Equivalencies.

Richard Ostrowski, Lionel Paris

Browse the full ICTAI paper archive.