The following pages link to Rewrite-based decision procedures (Q2864358):
Displaying 7 items.
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Rewrite-based satisfiability procedures for recursive data structures (Q2864524) (← links)
- Rewriting Induction + Linear Arithmetic = Decision Procedure (Q2908496) (← links)
- Locality Results for Certain Extensions of Theories with Bridging Functions (Q5191097) (← links)
- On Variable-inactivity and Polynomial Formula-Satisfiability Procedures (Q5450569) (← links)
- Mechanizing Mathematical Reasoning (Q5717459) (← links)