Making Deduction More Effective in SAT Solvers Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• August 1, 2010

has restriction

• closed

Date in CU Experts

• September 6, 2013 12:30 PM

Full Author List

• Han H; Somenzi F; Jin H

author count

• 3

citation count

• 7

published in

• IEEE Transactions on Computer - Aided Design of Integrated Circuits and Systems  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0278-0070

Electronic International Standard Serial Number (EISSN)

• 1937-4151

Digital Object Identifier (DOI)

• https://doi.org/10.1109/tcad.2010.2049135

Additional Document Info

start page

• 1271

end page

• 1284

volume

• 29

issue

• 8