Proving Unsatisfiability with Hitting Formulas.

Yuval Filmus Edward A. Hirsch Artur Riazanov Alexander Smal Marc Vinyals

Published in: ITCS (2024)

Keyphrases

propositional formulas
cnf formula
propositional logic
normal form
markov chain
np complete
max sat
conjunctive normal form
predicate calculus
database
stochastic local search
sat problem
propositional satisfiability
real numbers
multiscale
search engine
learning algorithm
machine learning