Login / Signup
A competitive and cooperative approach to propositional satisfiability.
Katsumi Inoue
Takehide Soh
Seiji Ueda
Yoshito Sasaura
Mutsunori Banbara
Naoyuki Tamura
Published in:
Discret. Appl. Math. (2006)
Keyphrases
</>
propositional satisfiability
sat solvers
propositional logic
industrial applications
constraint programming
solving hard
automated reasoning
sat problem
davis putnam
variable ordering
max sat
sat instances
stochastic local search
knowledge representation
search algorithm
search problems
search space