A Generalization of the Satisfiability Coding Lemma and Its Applications.

Milan Mossé Harry Sha Li-Yang Tan

Published in: SAT (2022)

Keyphrases

coding scheme
satisfiability problem
coding method
propositional logic
logical implication
np complete
johnson lindenstrauss
learning algorithm
inter frame
learning machines
coding efficiency
quantified boolean formulas