%0 Journal Article %1 journals/ieicet/SakaiN15 %A Sakai, Masahiko %A Nabeshima, Hidetomo %D 2015 %J IEICE Trans. Inf. Syst. %K dblp %N 6 %P 1121-1127 %T Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet98d.html#SakaiN15 %V 98-D

@article{journals/ieicet/SakaiN15, added-at = {2023-05-01T00:00:00.000+0200}, author = {Sakai, Masahiko and Nabeshima, Hidetomo}, biburl = {https://www.bibsonomy.org/bibtex/20579e9b61031e550741749683b5efc47/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e98-d_6_1121}, interhash = {9b3a187d76c0e4c0c08795a59ccd09f3}, intrahash = {0579e9b61031e550741749683b5efc47}, journal = {IEICE Trans. Inf. Syst.}, keywords = {dblp}, number = 6, pages = {1121-1127}, timestamp = {2024-04-08T15:46:59.000+0200}, title = {Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet98d.html#SakaiN15}, volume = {98-D}, year = 2015 }