The following pages link to (Q2766536):
Displaying 5 items.
- Implementing and reasoning about hash-consed data structures in Coq (Q2351422) (← links)
- Extracting a DPLL Algorithm (Q3178287) (← links)
- Formalizing the Logic-Automaton Connection (Q3183526) (← links)
- LCF-Style Propositional Simplification with BDDs and SAT Solvers (Q3543649) (← links)
- (Q6060676) (← links)