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