Not-all-equal 3-SAT and 2-colorings of 4-regular 4-uniform hypergraphs.

Michael A. Henning Anders Yeo

Published in: Discret. Math. (2018)

Keyphrases

graph coloring
sat solvers
search algorithm
satisfiability problem
max sat
phase transition
graph theory
combinatorial problems
sat problem
boolean satisfiability
stochastic local search algorithms
data sets
job shop scheduling
linear array