Login / Signup
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.
Lengning Liu
Miroslaw Truszczynski
Published in:
Constraints An Int. J. (2007)
Keyphrases
</>
satisfiability testing
pseudo boolean constraints
propositional logic
logic programming
tie breaking
pseudo boolean
propositional formulas
programming language
artificial intelligence
combinatorial problems
search space