A fast pseudo-Boolean constraint solver
✍
Chai, D.; Kuehlmann, A.
📂
Article
📅
2005
🏛
IEEE
🌐
English
⚖ 611 KB