@inproceedings{ZhangSzeider25,
 author = {Tianwei Zhang and
Stefan Szeider},
 booktitle = {31st International Conference on Principles and Practice of Constraint
Programming, {CP} 2025, August 10-15, 2025, Glasgow, Scotland},
 doi = {10.4230/LIPICS.CP.2025.39},
 editor = {Maria Garcia de la Banda},
 keywords = {asksat, cofund},
 pages = {39:1--39:19},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {The 3-Decomposition Conjecture: {A} SAT-Based Approach with Specialized
Propagators},
 url = {https://doi.org/10.4230/LIPIcs.CP.2025.39},
 volume = {340},
 year = {2025}
}