A CP-based automatic tool for instantiating truncated differential characteristics
From MaRDI portal
Publication:6623305
DOI10.1007/978-3-031-56232-7_12MaRDI QIDQ6623305
Patrick Derbez, François Delobel, Arthur Gontier, Christine Solnon, Loïc Rouquette
Publication date: 23 October 2024
This page was built for publication: A CP-based automatic tool for instantiating truncated differential characteristics