Pruning Search Space for Weighted First Order Horn Clause Satisfiability.

Naveen Nair, Anandraj Govindan, Chander Jayaraman, T. V. S. Kiran, Ganesh Ramakrishnan

Browse the full ILP paper archive.