C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Using Weighted MAX-SAT Engines to Solve MPE.
James D. Park
Published in:
AAAI/IAAI (2002)
Keyphrases
</>
weighted max sat
max sat
sat solvers
boolean satisfiability
search algorithm
objective function
tabu search
constraint satisfaction
branch and bound algorithm
satisfiability problem