Pages that link to "Item:Q1870209"
From MaRDI portal
The following pages link to BDD based procedures for a theory of equality with uninterpreted functions (Q1870209):
Displaying 6 items.
- The small model property: How small can it be? (Q1854568) (← links)
- NuMDG: a new tool for multiway decision graphs construction (Q2434522) (← links)
- Building small equality graphs for deciding equality logic with uninterpreted functions (Q2490118) (← links)
- Generalizing DPLL and satisfiability for equalities (Q2643080) (← links)
- Transforming equality logic to propositional logic (Q4916229) (← links)
- A Term Rewriting Technique for Decision Graphs (Q5170280) (← links)
