An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our framework of Abstract DPLL and Abstract DPLL modulo Theories, we explain our DPLL(T) approach to SMT. Experimental results and future projects are discussed within BarcelogicTools, a set of logic-based tools developed by our research group in Barcelona. At the 2005 SMT competition, BarcelogicTools won all four categories it participated in (out of the seven existing categories). © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Nieuwenhuis, R., & Oliveras, A. (2005). Decision procedures for SAT, SAT modulo theories and beyond. The BarcelogicTools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3835 LNAI, pp. 23–46). https://doi.org/10.1007/11591191_3
Mendeley helps you to discover research relevant for your work.