Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools.

Robert Nieuwenhuis Albert Oliveras Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. 23-46 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_3 db/conf/lpar/lpar2005.html#NieuwenhuisO05