##### 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****************************