Function-Free Horn Clauses Are Hard to Approximate.

Richard Nock, Pascal Jappy

Browse the full ILP paper archive.