@inproceedings{KirchwegerXPS26,
 author = {Markus Kirchweger and
Hai Xia and
Tom{\'{a}}s Peitl and
Stefan Szeider},
 booktitle = {32nd International Conference on Principles and Practice of Constraint
Programming, {CP} 2026, July 20--23, 2026, Lisbon, Portugal},
 doi = {10.4230/LIPICS.CP.2026.33},
 keywords = {asksat, coe, cofund, strides},
 note = {Preprint: CoRR abs/2501.17201, {https://arxiv.org/abs/2501.17201}},
 pages = {33:1--33:19},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Smart Cubing for Graph Search: {A} Comparative Study},
 url = {https://doi.org/10.4230/LIPIcs.CP.2026.33},
 volume = {379},
 year = {2026}
}