%0 Conference Paper %1 conf/sat/Colnet20 %A de Colnet, Alexis %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 312-321 %T A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#Colnet20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/Colnet20, added-at = {2020-07-02T00:00:00.000+0200}, author = {de Colnet, Alexis}, biburl = {https://www.bibsonomy.org/bibtex/28e35c06739e2b5c3fe8d1140f79c40a0/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_22}, interhash = {26bb4314a928ed9557b6f1e49688672f}, intrahash = {8e35c06739e2b5c3fe8d1140f79c40a0}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {312-321}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-03T11:40:26.000+0200}, title = {A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#Colnet20}, volume = 12178, year = 2020 }