A distributed arc-consistency algorithm

From MaRDI portal
Publication:1380133