Fadi A. Aloul. Search techniques for SAT-based Boolean optimization. J. Franklin Institute, 343(4-5):436-447, 2006. [doi]
@article{Aloul06,
title = {Search techniques for SAT-based Boolean optimization},
author = {Fadi A. Aloul},
year = {2006},
doi = {10.1016/j.jfranklin.2006.01.003},
url = {https://doi.org/10.1016/j.jfranklin.2006.01.003},
researchr = {https://researchr.org/publication/Aloul06},
cites = {0},
citedby = {0},
journal = {J. Franklin Institute},
volume = {343},
number = {4-5},
pages = {436-447},
}