Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

27

CORR
2010
Springer

favoriteEmaildiscussreport

142views Education» more CORR 2010»

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

12 years 11 months ago

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

Download www.mancoosi.org

xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol

Mikolás Janota, João Marques-Silva,

Real-time Traffic

CORR 2010 | Education | Propositional Circumscription | Propositional Circumscription Mikol´as | World Assumption |

claim paper

Related Content

» A Counterexample Guided AbstractionRefinement Framework for Markov Decision Processes

» ThreadModular CounterexampleGuided Abstraction Refinement

» Guiding simulation with increasingly refined abstract traces

» CounterexampleGuided Focus

» Efficient Craig Interpolation for Linear Diophantine DisEquations and Linear Modular Equat...

Post Info
More Details (n/a)

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)