Computing prime implicates by pruning the search space and accelerating subsumption
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 16, 2015
- Source ID
- 10.1093/logcom/exv071
Entities
People
- Andrew Matusiewicz
- Erik Rosenthal
- Neil V. Murray
- Paul Olsen
Organizations
- Air Force Research Laboratory
- National Science Foundation
- State University of New York at Albany