Refining the SAT decision ordering for bounded model checking Conference Proceeding uri icon

Overview

publication date

  • June 7, 2004

Full Author List

  • Wang C; Jin HS; Hachtel GD; Somenzi F

Additional Document Info

start page

  • 535

end page

  • 538