Picture for Radu Grigore

Radu Grigore

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

Add code
Jun 30, 2010
Figure 1 for Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Viaarxiv icon

How to Complete an Interactive Configuration Process?

Add code
Oct 20, 2009
Figure 1 for How to Complete an Interactive Configuration Process?
Figure 2 for How to Complete an Interactive Configuration Process?
Viaarxiv icon

Algorithms for finding dispensable variables

Add code
Sep 30, 2009
Viaarxiv icon