Go to the corresponding LIPIcs Volume Portal 
Bonacina, Ilario ; Bonet, Maria Luisa ; Levy, Jordi
pdfformat: 

@InProceedings{bonacina_et_al:LIPIcs.SAT.2023.5, author = {Bonacina, Ilario and Bonet, Maria Luisa and Levy, Jordi}, title = {{Polynomial Calculus for MaxSAT}}, booktitle = {26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)}, pages = {5:15:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772860}, ISSN = {18688969}, year = {2023}, volume = {271}, editor = {Mahajan, Meena and Slivovsky, Friedrich}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2023/18467}, URN = {urn:nbn:de:0030drops184670}, doi = {10.4230/LIPIcs.SAT.2023.5}, annote = {Keywords: Polynomial Calculus, MaxSAT, Proof systems, Algebraic reasoning} }
Keywords:  Polynomial Calculus, MaxSAT, Proof systems, Algebraic reasoning  
Collection:  26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)  
Issue Date:  2023  
Date of publication:  09.08.2023 