Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393MaRDI QIDQ5308385zbMATH OpenOpenAlexFDO

Authors Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96393

Mathematics Subject Classification ID

Recommendations

• Building small equality graphs for deciding equality logic with uninterpreted functions
• scientific article; zbMATH DE number 2102727
• scientific article; zbMATH DE number 1798182
• Artificial Intelligence and Symbolic Computation
• LATIN 2004: Theoretical Informatics

Cited in

(5)

• NuMDG: a new tool for multiway decision graphs construction
• Building small equality graphs for deciding equality logic with uninterpreted functions
• scientific article; zbMATH DE number 1798182 (Why is no real title available?)
• scientific article; zbMATH DE number 2102727 (Why is no real title available?)
• Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308385)