Sciweavers

CORR
2010
Springer
142views Education» more  CORR 2010»
13 years 6 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, ...