Login / Signup
Proving Unsatisfiability with Hitting Formulas.
Yuval Filmus
Edward A. Hirsch
Artur Riazanov
Alexander Smal
Marc Vinyals
Published in:
Electron. Colloquium Comput. Complex. (2023)
Keyphrases
</>
propositional formulas
cnf formula
propositional logic
markov chain
max sat
np complete
normal form
mathematical formulas
stochastic local search
propositional satisfiability
conjunctive normal form