Login / Signup

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form.

Zaijun ZhangDaoyun XuJincheng 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