EVC
From MaRDI portal
Cited in
(9)- scientific article; zbMATH DE number 1701763 (Why is no real title available?)
- Producing and verifying extremely large propositional refutations
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
- Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
- tts
- Velev SAT Benchmarks
- Building small equality graphs for deciding equality logic with uninterpreted functions
- Theorem Proving in Higher Order Logics
- Automatic abstraction of equations in a logic of equality
This page was built for software: EVC
