skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Boolean computation of optimum hitting sets

Technical Report ·
OSTI ID:6809245

This report presents the results of computational experience in solving weighted hitting set problems by Boolean algebraic methods. The feasible solutions are obtained by Boolean formula manipulations, and the optimum solutions are obtained by comparing the weight sums of the feasible solutions. Both the algebra and the optimization can be accomplished using the SETS language. One application is to physical protection problems. 8 references, 2 tables.

Research Organization:
Sandia National Labs., Albuquerque, NM (USA)
DOE Contract Number:
AC04-76DP00789
OSTI ID:
6809245
Report Number(s):
SAND-84-0448; ON: DE84012920
Resource Relation:
Other Information: Portions are illegible in microfiche products. Original copy available until stock is exhausted
Country of Publication:
United States
Language:
English