STCSP -- structured temporal constraint satisfaction problems

From MaRDI portal
Publication:1306754