Nogood-based asynchronous forward checking algorithms

From MaRDI portal
Publication:481712