Referenced Items are not available for this document.
This paper presents a SAT solver. The main purpose is to study the tradeoff between more reasoning and quicker decision. It shows that though good result can be obtained by quick decision and fast implementation, the reasoning step is still useful in several benchmarks. We choose FLD as our reasoning technique and discuss heuristic of obtaining the set of literals to be tested in FLD. Experiment results show that by careful implementation, this old technique still can be used in a fast SAT solver.
Published in:
ASIC, 2003. Proceedings. 5th International Conference on
(Volume:1
)
Date of Conference: 21-24 Oct. 2003
- Page(s):
- 183 - 186 Vol.1
- ISSN :
- 1523-553X
- Print ISBN:
- 0-7803-7889-X
- INSPEC Accession Number:
- 8015754
- Digital Object Identifier :
- 10.1109/ICASIC.2003.1277519
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
