Alembic: An efficient algorithm for CNF preprocessing Conference Proceeding uri icon

Overview

publication date

  • June 4, 2007

Full Author List

  • Han H; Somenzi F

Other Profiles

International Standard Book Number (ISBN) 13

  • 978-1-59593-771-1

Additional Document Info

start page

  • 582

end page

  • +