Nogood-based asynchronous forward checking algorithms. - Wahbi, Mohamed; Ezzahir, Redouane; Bessiere, Christian; Bouyakhf, El (Constraints: An International Journal, 2013)