Lengning Liu, Miroslaw Truszczynski. Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. Constraints, 12(3):345-369, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.