Publication:5398083
From MaRDI portal
DOI10.4230/LIPIcs.ICLP.2012.415zbMath1281.90019MaRDI QIDQ5398083
Marco Gavanelli, Federico Malucelli, Maddalena Nonato, Juan José Ramos, Rosa Herrero, Massimiliano Cattafi
Publication date: 25 February 2014
05C90: Applications of graph theory
90B35: Deterministic scheduling theory in operations research
68N17: Logic programming