Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Solving Difficult Instances of Boolean Satisfiability in the Presence of Symmetry
 

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-

  

Source: Aloul, Fadi - Department of Computer Engineering, American University of Sharjah

 

Collections: Engineering