Conditional Term Equivalent Symmetry Breaking for SAT.

Timothy Kopp, Parag Singla, Henry A. Kautz

Browse the full AAAI paper archive.