The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators

Tianwei Zhang, Stefan Szeider
January 2025
PDF bib Project Project DOI

Abstract

Full Citation:

Tianwei Zhang, Stefan Szeider. The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators. 31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland (Maria Garcia de la Banda), volume 340 of LIPIcs, pages 39:1-39:19, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Type
Conference Paper
Asksat Cofund
Tianwei Zhang
Tianwei Zhang

Tianwei Zhang is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.