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 https://doi.org/10.1007/3-540-45470-5_22 https://www.wikidata.org/entity/Q62041413 db/conf/aisc/aisc2002.html#AudemardBCKS02