The following pages link to EVC (Q25288):
Displaying 7 items.
- Producing and verifying extremely large propositional refutations (Q694550) (← links)
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. (Q1426130) (← links)
- Building small equality graphs for deciding equality logic with uninterpreted functions (Q2490118) (← links)
- (Q2769591) (← links)
- Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs) (Q4828448) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187868) (← links)
- Theorem Proving in Higher Order Logics (Q5477665) (← links)