An Efficient Algorithm for Reducing Clauses Based on Constraint Satisfaction Techniques.

Jrme Maloberti, Einoshin Suzuki

Browse the full ILP paper archive.