Login / Signup
A Time Leap Challenge for SAT Solving.
Johannes Klaus Fichte
Markus Hecher
Stefan Szeider
Published in:
CoRR (2020)
Keyphrases
</>
sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
evolutionary algorithm
data structure
np complete
cellular automata
constraint satisfaction
search tree