Mohamed Sami Cherif, Djamal Habet, Matthieu Py. From Crossing-Free Resolution to Max-SAT Resolution. In Christine Solnon, editor, 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel. Volume 235 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{CherifHP22,
title = {From Crossing-Free Resolution to Max-SAT Resolution},
author = {Mohamed Sami Cherif and Djamal Habet and Matthieu Py},
year = {2022},
doi = {10.4230/LIPIcs.CP.2022.12},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.12},
researchr = {https://researchr.org/publication/CherifHP22},
cites = {0},
citedby = {0},
booktitle = {28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel},
editor = {Christine Solnon},
volume = {235},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-240-2},
}