Volume: Vol-4311 ICLP-WS-DC 2026 | Year: 2026

Paper: « RCRA_regular_01 | RCRA_regular_02 | RCRA_regular_03 »

Symmetry Breaking Constraints for SAT Solving

• Martin Struk
• Mikoláš Janota

423-432 PDF 10.83095/ceurws_04311_041