Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393zbMATH Open1126.68570OpenAlexW4299869287MaRDI QIDQ5308385FDOQ5308385

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

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

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

Mathematics Subject Classification ID

Cited In (5)

• NuMDG: a new tool for multiway decision graphs construction
• Title not available (Why is that?)
• Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
• Building small equality graphs for deciding equality logic with uninterpreted functions
• Title not available (Why is that?)

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)