In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.

Dirk Beyer, Karlheinz Friedberger

Browse the full ISoLA paper archive.