Comparing Techniques for Proving Unsatisfiability
TECHNICAL UNIV OF EINDHOVEN (NETHERLANDS) DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
We compare two standard techniques for satisfiability SAT, which are basic for verification of microprocessor systems. We propose an approach for construction of shorter resolution refutations based on a standard approach called DPLL.
- Theoretical Mathematics
- Electrical and Electronic Equipment