An efficient refinement strategy exploiting component properties in a cegar process.

Syed Hussein Syed Alwi, Ccile Braunstein, Emmanuelle Encrenaz

Browse the full FDL paper archive.