Solution and Optimization of Systems of Pseudo-Boolean Constraints. Aloul, F. A., Ramani, A., Sakallah, K. A., & Markov, I. L. IEEE Transactions on Computers, 56(10):1415-1424, October, 2007.
bibtex   
@article{aloul2007solution,
   author = {Aloul, Fadi A. and Ramani, Arathi and Sakallah, Karem A. and Markov, Igor L.},
   title = {{Solution and Optimization of Systems of Pseudo-Boolean Constraints}},
   journal = {IEEE Transactions on Computers},
   volume = {56},
   number = {10},
   pages = {1415-1424},
   month = {October},
   year = {2007}
}

Downloads: 0