An incremental algorithm to check satisfiability for bounded model checking Chapter uri icon

Overview

publication date

  • January 1, 2004

Full Author List

  • SOMENZI F

book title

  • Electronic Notes in Theoretical Computer Science