GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials.

Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis

Browse the full SoCS paper archive.