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

Tags

Technology Areas

  • Space
  • Space - Space Objects