Constructions Of Graphs Without Nowhere-Zero Flows From Boolean Formulas.

Published in: Ars Comb. (2004)

Keyphrases

boolean formula
linear constraints
sat solvers
practical problems
unsatisfiable cores
data structure
np complete
membership queries
state space
max sat