research
∙
03/18/2021
Exploiting Isomorphic Subgraphs in SAT (Long version)
While static symmetry breaking has been explored in the SAT community fo...
share
research
∙
12/21/2015
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Constrained sampling and counting are two fundamental problems in artifi...
research
∙
12/09/2014
