An Incremental Algorithm to Check Satisfiability for Bounded Model Checking Chapter uri icon

Overview

publication date

  • March 14, 2005

has restriction

  • gold

Date in CU Experts

  • April 17, 2014 2:25 AM

Full Author List

  • Jin H; Somenzi F

author count

  • 2

citation count

  • 11

Other Profiles

Additional Document Info

start page

  • 51

end page

  • 65

volume

  • 119