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

Mathematics Subject Classification ID

Cited In (4)

• NuMDG: a new tool for multiway decision graphs construction
• 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?)

   Recommendations

• Building small equality graphs for deciding equality logic with uninterpreted functions 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Artificial Intelligence and Symbolic Computation 👍 👎
• LATIN 2004: Theoretical Informatics 👍 👎

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)