Login / Signup
A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form.
Zaijun Zhang
Daoyun Xu
Jincheng Zhou
Published in:
Entropy (2021)
Keyphrases
</>
conjunctive normal form
propositional formulas
propositional logic
normal form
satisfiability problem
propositional satisfiability
cnf formula
polynomial size
sat problem
search algorithm
belief revision