Efficient Symmetry Breaking for Boolean Satisfiability.

Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov

Browse the full IJCAI paper archive.