Formal model-based constraint solving and document generation
From MaRDI portal
Publication:1784778
DOI10.1007/978-3-319-49815-7_1zbMath1396.68117OpenAlexW2556723477MaRDI QIDQ1784778
Publication date: 27 September 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-49815-7_1
Orthogonal arrays, Latin squares, Room squares (05B15) Coloring of graphs and hypergraphs (05C15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: Formal model-based constraint solving and document generation