On Approximate Horn Formula Minimization.

Amitava Bhattacharya, Bhaskar DasGupta, Dhruv Mubayi, Gyrgy Turn

Browse the full ICALP paper archive.