Comparing techniques for proving unsatisfiability (extended abstract)

O. Tveretina, H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationProceedings International Conference on Mathematical Methods in Electromagnetic Theory, MMET '02, Kiev, Ukraine, September 10-13, 2002
Place of PublicationPiscataway NJ
PublisherInstitute of Electrical and Electronics Engineers
ISBN (Print)0-7803-7391-X
Publication statusPublished - 2002

Fingerprint Dive into the research topics of 'Comparing techniques for proving unsatisfiability (extended abstract)'. Together they form a unique fingerprint.

Cite this