scientific article; zbMATH DE number 1796130

MaRDI QIDQ4551144zbMATH OpenFDO

Authors Yoav Rodeh, O. Shtrichman

Publication date 4 September 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2102/21020144

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Building small equality graphs for deciding equality logic with uninterpreted functions
• LATIN 2004: Theoretical Informatics
• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 2081115
• BDD based procedures for a theory of equality with uninterpreted functions

Cited in

(12)

• The small model property: How small can it be?
• BDD based procedures for a theory of equality with uninterpreted functions
• Definability in the language of functional equations of a countable-valued logic
• NuMDG: a new tool for multiway decision graphs construction
• Building small equality graphs for deciding equality logic with uninterpreted functions
• Reduced functional consistency of uninterpreted functions
• scientific article; zbMATH DE number 3874585 (Why is no real title available?)
• scientific article; zbMATH DE number 2081115 (Why is no real title available?)
• Transforming equality logic to propositional logic
• EufDPLL -- a tool to check satisfiability of equality logic formulas
• LATIN 2004: Theoretical Informatics
• Unification in Łukasiewicz Logic with a Finite Number of Variables

This page was built for publication:

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