Strong conflict analysis for propositional satisfiability Conference Proceeding

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

March 6, 2006

Date in CU Experts

July 2, 2026 11:15 AM

Full Author List

Jin H; Somenzi F

author count

2

citation count

5

published in

Proceedings -Design, Automation and Test in Europe, DATE Journal

presented at event

Design, Automation and Test in Europe Conference and Exhibition (DATE 06) Conference

Other Profiles

International Standard Serial Number (ISSN)

1530-1591

International Standard Book Number (ISBN) 13

978-3-9810801-1-7

Additional Document Info

start page

816

end page

821