IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Fast Approximation Algorithm for MIN-ONE SAT

Design, Automation & Test in Europe. DATE'08

Author(s): Lei Fang ; M.S. Hsiao
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): 1,087 - 1,090
ISBN (CD): 978-3-9810801-4-8
ISBN (Paper): 978-3-9810801-3-1
DOI: 10.1109/DATE.2008.4484921
Regular:

In this paper, we propose a novel approximation algorithm (RelaxSAT) for MIN-ONE SAT. RelaxSAT generates a set of constraints from the objective function to guide the search. The constraints are... View More

Advertisement