An Approach to High-Level Synthesis Using Constraint Logic Programming.
Krzysztof KuchcinskiPublished in: EUROMICRO (1998)
Keyphrases
- constraint logic programming
- high level synthesis
- constraint solving
- logic programming language
- logic programming
- answer set programming
- parallel architecture
- temporal reasoning
- design space exploration
- constraint programming
- constraint propagation
- logic programs
- search algorithm
- machine learning
- np hard
- proof theoretic
- knowledge base