Hardness Results for Approximate Pure Horn CNF Formulae Minimization.

Aritanan Gruber, Endre Boros

Browse the full ISAIM paper archive.