Geometric properties of satisfying assignments of random ε-1-in-k SAT

Gabriel Istrate

Published in: CoRR (2008)

Keyphrases

geometric properties
geometric objects
relative position
geometric constraints
digital plane
sat solvers
phase transition
satisfiability problem
search algorithm
extreme points
mechanical devices
three dimensional
image analysis
propositional satisfiability