The following pages link to (Q2754075):
Displaying 10 items.
- A framework for satisfiability modulo theories (Q1037239) (← links)
- Building small equality graphs for deciding equality logic with uninterpreted functions (Q2490118) (← links)
- \(p\)-constraint and the transitivity theorem (Q2545350) (← links)
- Generating minimum transitivity constraints in P-time for deciding equality logic (Q2864399) (← links)
- (Q3429154) (← links)
- (Q3429162) (← links)
- (Q3624006) (← links)
- Complete Problems Involving Boolean Labelled Structures and Projection Transactions (Q3988061) (← links)
- Transforming equality logic to propositional logic (Q4916229) (← links)
- Boolean satisfiability with transitivity constraints (Q5738967) (← links)