BarcelogicTools

MaRDI QIDQ14549swMATHFDO

Official website http://www.lsi.upc.edu/~oliveras/bclt-main.html

Described by source

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

Cited in

(10)

• SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers
• Labelled Clauses
• On solving Boolean combinations of UTVPI constraints.
• UCLID
• EufDPLL
• scientific article; zbMATH DE number 5613976 (Why is no real title available?)
• A Progressive Simplifier for Satisfiability Modulo Theories
• EufDPLL -- a tool to check satisfiability of equality logic formulas
• Conflict Resolution
• Combining equational reasoning

This page was built for software: BarcelogicTools