Formal model-based constraint solving and document generation

DOI10.1007/978-3-319-49815-7_1MaRDI QIDQ1784778zbMATH OpenOpenAlexFDO

Authors Michael Leuschel

Publication date 27 September 2018

Full work available at URL https://doi.org/10.1007/978-3-319-49815-7_1

Mathematics Subject Classification ID

Orthogonal arrays, Latin squares, Room squares (05B15) Coloring of graphs and hypergraphs (05C15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 2080550
• scientific article; zbMATH DE number 2084734
• Generation of Rule-Based Constraint Solvers: Combined Approach
• scientific article; zbMATH DE number 1696802
• Constraint programming for modelling and solving modal satisfiability

Cited in

(1)

• Formal Problem Domain Modeling within MDA

This page was built for publication: Formal model-based constraint solving and document generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1784778)