Nogood-based asynchronous forward checking algorithms
scientific article; zbMATH DE number 6380417
scientific article