Login / Signup
Design Space Exploration via Answer Set Programming Modulo Theories.
Philipp Wanko
Published in:
CoRR (2019)
Keyphrases
</>
design space exploration
modulo theories
answer set programming
design space
logic programs
logic programming
stable model semantics
answer sets
computer architecture
design process
constraint logic programming
satisfiability modulo theories
stable models
knowledge representation
state space
programming language