%0 Journal Article %1 journals/corr/abs-2101-01953 %A de Colnet, Alexis %D 2021 %J CoRR %K dblp %T A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints. %U http://dblp.uni-trier.de/db/journals/corr/corr2101.html#abs-2101-01953 %V abs/2101.01953

@article{journals/corr/abs-2101-01953, added-at = {2021-01-21T00:00:00.000+0100}, author = {de Colnet, Alexis}, biburl = {https://www.bibsonomy.org/bibtex/2b31b89be5cd9e448c129edf886e36aa4/dblp}, ee = {https://arxiv.org/abs/2101.01953}, interhash = {e344e91079d9f8485ac9e11dedc9c546}, intrahash = {b31b89be5cd9e448c129edf886e36aa4}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:38:38.000+0200}, title = {A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2101.html#abs-2101-01953}, volume = {abs/2101.01953}, year = 2021 }