Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani. A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions.
18th Conference on Automated Deduction (CADE'18), 2002, Oxford, United Kingdom. pp.195-210.
⟨hal-03299489⟩