Accession Number:

ADP013964

Title:

Comparing Techniques for Proving Unsatisfiability

Descriptive Note:

Conference paper

Corporate Author:

TECHNICAL UNIV OF EINDHOVEN (NETHERLANDS) DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

2002-09-01

Pagination or Media Count:

3.0

Abstract:

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.

Subject Categories:

  • Theoretical Mathematics
  • Electrical and Electronic Equipment

Distribution Statement:

APPROVED FOR PUBLIC RELEASE