A New Incomplete Method for CSP Inconsistency Checking.

Belaid Benhamou, Mohamed Rda Sadi

Browse the full AAAI paper archive.