The 2CNF Boolean formula satisfiability problem and the linear space hypothesis.

Tomoyuki Yamakami

Published in: J. Comput. Syst. Sci. (2023)

Keyphrases

satisfiability problem
conjunctive normal form
linear space
boolean formula
np complete
sat instances
sat problem
temporal logic
phase transition
search algorithm
external memory
max sat
stochastic local search
knowledge base
model checking
randomly generated
data structure
boolean satisfiability
genetic algorithm