Gilles Audemard Piergiorgio Bertoli Alessandro Cimatti Artur Kornilowicz Roberto Sebastiani Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. 231-245 2002 conf/aisc/2002 AISC http://link.springer.de/link/service/series/0558/bibs/2385/23850231.htm db/conf/aisc/aisc2002.html#AudemardBCKS02