Sciweavers

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