DMCA

Searching for Autarkies to Trim Unsatisfiable Clause Sets

by Mark Liffiton , Karem Sakallah
Citations:9 - 1 self