%0 Conference Paper %1 conf/sat/AbioNOR11 %A Abío, Ignasi %A Nieuwenhuis, Robert %A Oliveras, Albert %A Rodríguez-Carbonell, Enric %B SAT %D 2011 %E Sakallah, Karem A. %E Simon, Laurent %I Springer %K dblp %P 61-75 %T BDDs for Pseudo-Boolean Constraints - Revisited. %U http://dblp.uni-trier.de/db/conf/sat/sat2011.html#AbioNOR11 %V 6695 %@ 978-3-642-21580-3

@inproceedings{conf/sat/AbioNOR11, added-at = {2022-01-03T00:00:00.000+0100}, author = {Abío, Ignasi and Nieuwenhuis, Robert and Oliveras, Albert and Rodríguez-Carbonell, Enric}, biburl = {https://www.bibsonomy.org/bibtex/299f969c92fc79af009b53ef5d5073411/dblp}, booktitle = {SAT}, crossref = {conf/sat/2011}, editor = {Sakallah, Karem A. and Simon, Laurent}, ee = {https://doi.org/10.1007/978-3-642-21581-0_7}, interhash = {951168fbe9e755053140596b988431e3}, intrahash = {99f969c92fc79af009b53ef5d5073411}, isbn = {978-3-642-21580-3}, keywords = {dblp}, pages = {61-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:01:47.000+0200}, title = {BDDs for Pseudo-Boolean Constraints - Revisited.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2011.html#AbioNOR11}, volume = 6695, year = 2011 }