IEEE - Institute of Electrical and Electronics Engineers, Inc. - Algorithms for Maximum Satisfiability using Unsatisfiable Cores

Design, Automation & Test in Europe. DATE'08

Author(s): J. Marques-Silva ; J. Planes
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2008
Conference Location: Munich, Germany
Conference Date: 10 March 2008
Page(s): 408 - 413
ISBN (CD): 978-3-9810801-4-8
ISBN (Paper): 978-3-9810801-3-1
DOI: 10.1109/DATE.2008.4484715
Regular:

Many decision and optimization problems in electronic design automation (EDA) can be solved with Boolean satisfiability (SAT). Moreover, well-known extensions of SAT also find application in EDA,... View More

Advertisement