Publication:3536362

zbMath1147.68701MaRDI QIDQ3536362

Nicolas Beldiceanu, Sven Thiel, Irit Katriel

Publication date: 21 November 2008

zbMATH Keywords

network flow; constraint programming; global constraint; strongly connected component; filtering algorithm; arc-consistency; bound-consistency

Mathematics Subject Classification ID

90B35: Deterministic scheduling theory in operations research

90B10: Deterministic network models in operations research

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Related Items

Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints