Amanote Research
Register
Sign In
On Using Satisfiability-Based Pruning Techniques in Covering Algorithms
doi 10.1109/date.2000.840296
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
V.M. Manquinho
J. Marques-Silva
Publisher
IEEE Comput. Soc