Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.

Lengning Liu Miroslaw Truszczynski Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. 345-369 2007 12 Constraints 3 http://dx.doi.org/10.1007/s10601-007-9022-z db/journals/constraints/constraints12.html#LiuT07