Wang, Wenxi, Usman, Muhammad, Almaawi, Alyas, Wang, Kaiyuan, Meel, Kuldeep S, and Khurshid, Sarfraz. A Study of Symmetry Breaking Predicates and Model Counting. Retrieved from https://par.nsf.gov/biblio/10223398. 26th International Conference on ools and Algorithms for the Construction and Analysis of Systems (TACAS) . Web. doi:10.1007/978-3-030-45190-5_7.

Wang, Wenxi, Usman, Muhammad, Almaawi, Alyas, Wang, Kaiyuan, Meel, Kuldeep S, & Khurshid, Sarfraz. A Study of Symmetry Breaking Predicates and Model Counting. 26th International Conference on ools and Algorithms for the Construction and Analysis of Systems (TACAS), (). Retrieved from https://par.nsf.gov/biblio/10223398. https://doi.org/10.1007/978-3-030-45190-5_7

Wang, Wenxi, Usman, Muhammad, Almaawi, Alyas, Wang, Kaiyuan, Meel, Kuldeep S, and Khurshid, Sarfraz. "A Study of Symmetry Breaking Predicates and Model Counting". 26th International Conference on ools and Algorithms for the Construction and Analysis of Systems (TACAS) (). Country unknown/Code not available. https://doi.org/10.1007/978-3-030-45190-5_7. https://par.nsf.gov/biblio/10223398.

@article{osti_10223398,
place = {Country unknown/Code not available}, title = {A Study of Symmetry Breaking Predicates and Model Counting}, url = {https://par.nsf.gov/biblio/10223398}, DOI = {10.1007/978-3-030-45190-5_7}, abstractNote = {}, journal = {26th International Conference on ools and Algorithms for the Construction and Analysis of Systems (TACAS)}, author = {Wang, Wenxi and Usman, Muhammad and Almaawi, Alyas and Wang, Kaiyuan and Meel, Kuldeep S and Khurshid, Sarfraz}, editor = {null} }