Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection.

Haokun Li Bican Xia

Published in: CoRR (2020)

Keyphrases

boolean formula
computational complexity
cnf formula
np complete
satisfiability problem
conjunctive normal form
random sat
propositional logic
polynomial equations
practical problems
stochastic local search
search space
low order
propositional formulas
polynomial size