Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription (Q4930765)
From MaRDI portal
scientific article; zbMATH DE number 5794792
Language | Label | Description | Also known as |
---|---|---|---|
English | Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription |
scientific article; zbMATH DE number 5794792 |
Statements
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription (English)
0 references
1 October 2010
0 references