%0 Journal Article %1 journals/jair/AbioNORM12 %A Abío, Ignasi %A Nieuwenhuis, Robert %A Oliveras, Albert %A Rodríguez-Carbonell, Enric %A Mayer-Eichberger, Valentin %D 2012 %J J. Artif. Intell. Res. %K dblp %P 443-480 %T A New Look at BDDs for Pseudo-Boolean Constraints. %U http://dblp.uni-trier.de/db/journals/jair/jair45.html#AbioNORM12 %V 45

@article{journals/jair/AbioNORM12, added-at = {2022-10-02T00:00:00.000+0200}, author = {Abío, Ignasi and Nieuwenhuis, Robert and Oliveras, Albert and Rodríguez-Carbonell, Enric and Mayer-Eichberger, Valentin}, biburl = {https://www.bibsonomy.org/bibtex/2a68551685fbe04455124f48cb947759c/dblp}, ee = {https://doi.org/10.1613/jair.3653}, interhash = {289316879ec19927c063ab6e4a57dc69}, intrahash = {a68551685fbe04455124f48cb947759c}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {443-480}, timestamp = {2024-04-08T20:02:18.000+0200}, title = {A New Look at BDDs for Pseudo-Boolean Constraints.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair45.html#AbioNORM12}, volume = 45, year = 2012 }