%0 Conference Paper %1 conf/sat/GochtMNO22 %A Gocht, Stephan %A Martins, Ruben %A Nordström, Jakob %A Oertel, Andy %B SAT %D 2022 %E Meel, Kuldeep S. %E Strichman, Ofer %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 16:1-16:25 %T Certified CNF Translations for Pseudo-Boolean Solving. %U http://dblp.uni-trier.de/db/conf/sat/sat2022.html#GochtMNO22 %V 236 %@ 978-3-95977-242-6

@inproceedings{conf/sat/GochtMNO22, added-at = {2022-10-02T00:00:00.000+0200}, author = {Gocht, Stephan and Martins, Ruben and Nordström, Jakob and Oertel, Andy}, biburl = {https://www.bibsonomy.org/bibtex/254f9861830f5714eba1babd048095d13/dblp}, booktitle = {SAT}, crossref = {conf/sat/2022}, editor = {Meel, Kuldeep S. and Strichman, Ofer}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2022.16}, interhash = {e44830cfdd7338e5097ccabf1a15527b}, intrahash = {54f9861830f5714eba1babd048095d13}, isbn = {978-3-95977-242-6}, keywords = {dblp}, pages = {16:1-16:25}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {Certified CNF Translations for Pseudo-Boolean Solving.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2022.html#GochtMNO22}, volume = 236, year = 2022 }