scientific article; zbMATH DE number 1796130
From MaRDI portal
Publication:4551144
zbMath0991.68045MaRDI QIDQ4551144
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020144
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
NuMDG: a new tool for multiway decision graphs construction ⋮ Transforming equality logic to propositional logic ⋮ Building small equality graphs for deciding equality logic with uninterpreted functions ⋮ EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas
This page was built for publication: