A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions.

Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani

Browse the full CADE paper archive.