C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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