scientific article
From MaRDI portal
Publication:2754075
zbMath0974.94501MaRDI QIDQ2754075
Miroslav N. Velev, Randal E. Bryant
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Transforming equality logic to propositional logic ⋮ Building small equality graphs for deciding equality logic with uninterpreted functions ⋮ A framework for satisfiability modulo theories ⋮ Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic
Uses Software
This page was built for publication: