CirCUs: A satistiability solver geared towards bounded model checking Journal Article uri icon

Overview

publication date

  • January 1, 2004

Full Author List

  • Jin HS; Awedh M; Somenzi F

Additional Document Info

start page

  • 519

end page

  • 522

volume

  • 3114