BarcelogicTools

swMATH2001MaRDI QIDQ14549FDOQ14549

Author name not available (Why is that?)

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.
• A Progressive Simplifier for Satisfiability Modulo Theories
• UCLID
• Title not available (Why is that?)
• EufDPLL
• EufDPLL -- a tool to check satisfiability of equality logic formulas
• Conflict Resolution
• Combining equational reasoning

This page was built for software: BarcelogicTools