Login / Signup
Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas.
C. Guillen
A. Lopez Lopez
G. De Ita
Published in:
RCRA (2008)
Keyphrases
</>
grid computing
grid points
sat solvers
hexagonal grid
boolean formula
special case
grid cells
search strategies
satisfiability problem
boolean functions