An ILP Formulation for Yield-driven Architectural Synthesis.

Zhaojun Wo Israel Koren Maciej J. Ciesielski

Published in: DFT (2005)

Keyphrases

inductive logic programming
program synthesis
data driven
background knowledge
texture synthesis
decision trees
neural network
image segmentation
optimal solution
prior knowledge
software architecture
design solutions
predicate invention