Solving Difficult Instances of Boolean Satisfiability in the Presence of Symmetry (2002)

by Fadi A. Aloul , Arathi Ramani , Igor L. Markov , Karem A. Sakallah
Citations:44 - 17 self