Back to Results
First PageMeta Content
Logic / Mathematics / Abstraction / Mathematical logic / Logical truth / Propositional calculus / Formal languages / Automated theorem proving / Substitution / Constructible universe / Well-formed formula / Boolean satisfiability problem


Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1
Add to Reading List

Document Date: 2012-12-16 04:54:55

Open Document

File Size: 247,61 KB

Share Result on Facebook