A Study of Symmetry Breaking Predicates and Model Counting.

Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid

Browse the full TACAS paper archive.