BarcelogicTools

swMATH2001MaRDI QIDQ14549FDOQ14549

Author name not available (Why is that?)

Described by source

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

Cited In (8)

• 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
• Title not available (Why is that?)
• EufDPLL -- a tool to check satisfiability of equality logic formulas
• Conflict Resolution
• Combining equational reasoning

This page was built for software: BarcelogicTools