Definability on a Random 3-CNF Formula.

Albert Atserias

Published in: LICS (2005)

Keyphrases

cnf formula
np complete
randomly generated
max sat
sat problem
propositional logic
expert systems
database
information retrieval
data structure
upper bound
satisfiability problem
weighted max sat