| | |
Summary: Solving Difficult Instances of Boolean Satisfiability
in the Presence of Symmetry
Fadi A. Aloul, Arathi Ramani, Igor L. Markov and Karem A. Sakallah
CSE-TR-463-02
September 6, 2002
THE UNIVERSITY OF MICHIGAN
Computer Science and Engineering Division
Department of Electrical Engineering and Computer Science
Ann Arbor, Michigan 48109-2122
USA
Solving Difficult Instances of Boolean Satisfiability
in the Presence of Symmetry
Fadi A. Aloul, Arathi Ramani, Igor L. Markov and Karem A. Sakallah
Advanced Computer Architecture Laboratory
Department of Electrical Engineering and Computer Science
University of Michigan
Ann Arbor, Michigan 48109-2122
September 6, 2002
ABSTRACT
Research in algorithms for Boolean satisfiability (SAT) and their implemen-
|
