Searching for "The Minimization Problem for Boolean Formulas." – sorted by Relevance.
-
Deciding Membership in Minimal Upward Covering Sets is Hard for Parallel Access to NP ∗
- ]). Hemaspaandra and Wechsung [HW02] proved that the minimization problem for boolean formulas is Θ p 2-hard
- Add To MetaCart

