Text this: Nogood-based asynchronous forward checking algorithms.