C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Dynamic Polarity Adjustment in a Parallel SAT Solver.
Long Guo
Jean-Marie Lagniez
Published in:
ICTAI (2011)
Keyphrases
</>
sat solvers
sat solving
orders of magnitude
search strategies
max sat
sat instances
propositional satisfiability
boolean formula
reinforcement learning
constraint satisfaction