Sciweavers

CORR
2010
Springer

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

13 years 7 months ago
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol
Mikolás Janota, João Marques-Silva,
Added 29 May 2011
Updated 29 May 2011
Type Journal
Year 2010
Where CORR
Authors Mikolás Janota, João Marques-Silva, Radu Grigore
Comments (0)