%0 Journal Article %1 journals/jsat/ManquinhoS06 %A Manquinho, Vasco M. %A Marques-Silva, João %D 2006 %J J. Satisf. Boolean Model. Comput. %K dblp %N 1-4 %P 209-219 %T On Using Cutting Planes in Pseudo-Boolean Optimization. %U http://dblp.uni-trier.de/db/journals/jsat/jsat2.html#ManquinhoS06 %V 2

@article{journals/jsat/ManquinhoS06, added-at = {2023-04-03T00:00:00.000+0200}, author = {Manquinho, Vasco M. and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/27a6138a1d76060af05812394bae09bc2/dblp}, ee = {https://doi.org/10.3233/sat190023}, interhash = {3da8825fe98c08227a2ae84d57e2644d}, intrahash = {7a6138a1d76060af05812394bae09bc2}, journal = {J. Satisf. Boolean Model. Comput.}, keywords = {dblp}, number = {1-4}, pages = {209-219}, timestamp = {2024-04-08T19:10:46.000+0200}, title = {On Using Cutting Planes in Pseudo-Boolean Optimization.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat2.html#ManquinhoS06}, volume = 2, year = 2006 }