Login / Signup
Finite model reasoning on UML class diagrams via constraint programming.
Marco Cadoli
Diego Calvanese
Giuseppe De Giacomo
Toni Mancini
Published in:
Intelligenza Artificiale (2013)
Keyphrases
</>
constraint programming
constraint satisfaction problems
constraint propagation
high level
objective function
conceptual model