%0 Conference Paper %1 conf/pxtp/GochtNM21 %A Gocht, Stephan %A Nordström, Jakob %A Martins, Ruben %B PxTP %D 2021 %E Keller, Chantal %E Fleury, Mathias %K dblp %P 48 %T Certifying CNF Encodings of Pseudo-Boolean Constraints (abstract). %U http://dblp.uni-trier.de/db/series/eptcs/eptcs336.html#GochtNM21 %V 336

@inproceedings{conf/pxtp/GochtNM21, added-at = {2021-11-25T00:00:00.000+0100}, author = {Gocht, Stephan and Nordström, Jakob and Martins, Ruben}, biburl = {https://www.bibsonomy.org/bibtex/2984f2768edabc65213f1fc901ecae33f/dblp}, booktitle = {PxTP}, crossref = {journals/corr/abs-2107-01544}, editor = {Keller, Chantal and Fleury, Mathias}, ee = {https://doi.org/10.4204/EPTCS.336.5}, interhash = {649a5ec3175e1bd6458a120546572f4b}, intrahash = {984f2768edabc65213f1fc901ecae33f}, keywords = {dblp}, pages = 48, series = {EPTCS}, timestamp = {2024-04-09T09:30:36.000+0200}, title = {Certifying CNF Encodings of Pseudo-Boolean Constraints (abstract).}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs336.html#GochtNM21}, volume = 336, year = 2021 }