C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
System architecture synthesis for performability by logic solvers.
Máté Földiák
Kristóf Marussy
Dániel Varró
István Majzik
Published in:
MoDELS (2022)
Keyphrases
</>
logic synthesis
management system
functional decomposition
logic programming
reasoning engine
functional programs
modal logic
database
inference rules
architectural design
layered architecture