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

Zhang, Tianwei; Szeider, Stefan

doi:10.4230/LIPICS.CP.2025.39

by Tianwei Zhang, Stefan Szeider

Reference:

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

Bibtex Entry:

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


}