Printable PDF
Department of Mathematics,
Department of Mathematics,
University of California San Diego
****************************
Math 268 - Computability and Logic
William Jack Wesley
UC San Diego
Symmetry Breaking in SAT Solving
Abstract:
Symmetry breaking is a useful technique that prevents a solver from looking for solutions in isomorphic parts of the search space, which often leads to massive speedups. In this talk we will give an overview of the theory behind symmetry in SAT and show its applications in some concrete problems.
March 4, 2024
4:00 PM
APM 7218
Research Areas
Logic and Computational Complexity****************************
