Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.

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

Browse the full AISC paper archive.