On Solving Exactly-One-SAT.

Yazid Boumarafi Yakoub Salhi

Published in: ICTAI (2019)

Keyphrases

sat solving
np complete problems
stochastic local search
satisfiability problem
sat solvers
sat encodings
phase transition
knowledge base
search algorithm
linear programming
sat instances
graph coloring
solving hard
genetic algorithm
sat problem
max sat