Model Counting Using the Inclusion-Exclusion Principle
Conference Proceeding
Overview
publication date
- June 19, 2011
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Bennett H; Sankaranarayanan S
Full Editor List
- Sakallah KA; Simon L
author count
- 2
citation count
- 4
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0302-9743
Additional Document Info
start page
- 362
end page
- 363
volume
- 6695