Asynchronous Forward-Bounding algorithm with Directional Arc Consistency.

Rachid Adrdor, Lahcen Koutti

Browse the full ICLP paper archive.