IEEE - Institute of Electrical and Electronics Engineers, Inc. - Design automation with mixtures of proof strategies for propositional logic

Author(s): G. Andersson ; P. Bjesse ; B. Cook ; Z. Hanna
Sponsor(s): IEEE Council on Electronic Design Automation
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2003
Volume: 22
Page Count: 7
Page(s): 1,042 - 1,048
ISSN (Paper): 0278-0070
ISSN (Online): 1937-4151
DOI: 10.1109/TCAD.2003.814959
Regular:

Design automation problems can often be encoded in propositional logic, and solved by applying propositional logic proof methods. Unfortunately, there exists no single proof method with adequate... View More

Advertisement