Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov. Efficient Symmetry Breaking for Boolean Satisfiability. IEEE Transactions on Computers, 55(5):549-558, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.