Login / Signup
On strongly planar 3SAT.
Lidong Wu
Published in:
J. Comb. Optim. (2016)
Keyphrases
</>
satisfiability problem
sat solvers
sat problem
planar surfaces
search algorithm
phase transition
curved surfaces
boolean satisfiability
stochastic local search algorithms
variable ordering
planar graphs
propositional satisfiability
sat instances
single point
line drawings
parallel manipulator
genetic algorithm