DesertFD: a finite-domain constraint based tool for design space exploration.
Brandon K. EamesSandeep NeemaRohit SaraswatPublished in: Des. Autom. Embed. Syst. (2010)
Keyphrases
- design space exploration
- finite domain
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- design space
- computer architecture
- constraint solving
- real world
- databases
- database systems
- software engineering
- design process
- constraint logic programming
- constraint solver