Proving Unsatisfiability with Hitting Formulas.

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

Published in: CoRR (2023)

Keyphrases

propositional formulas
cnf formula
propositional logic
markov chain
normal form
mathematical formulas
max sat
genetic algorithm
database systems
conjunctive normal form
search strategies
propositional satisfiability
sat problem
data sets
database design
relational databases
information retrieval