Jimmy Ho-Man Lee, Pedro Meseguer, Wen Su. Adding laziness in BnB-ADOPT+. Constraints, 20(2):274-282, 2015. [doi]
@article{LeeMS15, title = {Adding laziness in BnB-ADOPT+}, author = {Jimmy Ho-Man Lee and Pedro Meseguer and Wen Su}, year = {2015}, doi = {10.1007/s10601-014-9177-3}, url = {http://dx.doi.org/10.1007/s10601-014-9177-3}, researchr = {https://researchr.org/publication/LeeMS15}, cites = {0}, citedby = {0}, journal = {Constraints}, volume = {20}, number = {2}, pages = {274-282}, }