# BreakID: Static Symmetry Breaking for ASP (System Description)

arXiv: https://arxiv.org/abs/1608.08447 · HTML: https://mlsanity.com/paper/1608.08447/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 30 Aug 2016.

## Built on by (most cited first, 3 of 3)

- [Symmetry breaking for inductive logic programming](https://mlsanity.com/paper/2508.06263/) (2025)
- [Towards Mass Spectrum Analysis with ASP](https://mlsanity.com/paper/2512.16780/) (2025)
- [Streamliners for Answer Set Programming](https://mlsanity.com/paper/2604.19251/) (2026)

## Abstract (arXiv)

Symmetry breaking has been proven to be an efficient preprocessing technique for satisfiability solving (SAT). In this paper, we port the state-of-the-art SAT symmetry breaker BreakID to answer set programming (ASP). The result is a lightweight tool that can be plugged in between the grounding and the solving phases that are common when modelling in ASP. We compare our tool with sbass, the current state-of-the-art symmetry breaker for ASP.