Sciweavers

ICALP
2010
Springer
14 years 4 months ago
On Approximate Horn Formula Minimization
The minimization problem for Horn formulas is to find a Horn formula equivalent to a given Horn formula, using a minimum number of clauses. A 2log1−ǫ (n) -inapproximability re...
Amitava Bhattacharya, Bhaskar DasGupta, Dhruv Muba...