%0 Conference Paper %1 conf/cp/CherifHP22 %A Cherif, Mohamed Sami %A Habet, Djamal %A Py, Matthieu %B CP %D 2022 %E Solnon, Christine %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 12:1-12:17 %T From Crossing-Free Resolution to Max-SAT Resolution. %U http://dblp.uni-trier.de/db/conf/cp/cp2022.html#CherifHP22 %V 235 %@ 978-3-95977-240-2

@inproceedings{conf/cp/CherifHP22, added-at = {2022-10-02T00:00:00.000+0200}, author = {Cherif, Mohamed Sami and Habet, Djamal and Py, Matthieu}, biburl = {https://www.bibsonomy.org/bibtex/2d08e92d64d6b99a117e2f1e34d45e838/dblp}, booktitle = {CP}, crossref = {conf/cp/2022}, editor = {Solnon, Christine}, ee = {https://doi.org/10.4230/LIPIcs.CP.2022.12}, interhash = {20b58b80c5c2aae31babee283a809053}, intrahash = {d08e92d64d6b99a117e2f1e34d45e838}, isbn = {978-3-95977-240-2}, keywords = {dblp}, pages = {12:1-12:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:41:17.000+0200}, title = {From Crossing-Free Resolution to Max-SAT Resolution.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2022.html#CherifHP22}, volume = 235, year = 2022 }