Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov. Solution and Optimization of Systems of Pseudo-Boolean Constraints. IEEE Transactions on Computers, 56(10):1415-1424, 2007. [doi]
@article{AloulRSM07,
title = {Solution and Optimization of Systems of Pseudo-Boolean Constraints},
author = {Fadi A. Aloul and Arathi Ramani and Karem A. Sakallah and Igor L. Markov},
year = {2007},
doi = {10.1109/TC.2007.1075},
url = {http://doi.ieeecomputersociety.org/10.1109/TC.2007.1075},
tags = {optimization, constraints, Markov},
researchr = {https://researchr.org/publication/AloulRSM07},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {56},
number = {10},
pages = {1415-1424},
}