Login / Signup
Animated Logic: Correct Functional Conversion to Conjunctive Normal Form.
Pedro Barroso
Mário Pereira
António Ravara
Published in:
CoRR (2020)
Keyphrases
</>
conjunctive normal form
truth values
satisfiability problem
polynomial size
propositional satisfiability
boolean formula
automated reasoning
orders of magnitude
learning algorithm
logic programming
temporal logic
modal logic
cnf formula