A Refinement Operator for Inducing Threaded-Variable Clauses.

Angelos Charalambidis, Stasinos Konstantopoulos

Browse the full ILP paper archive.