Constructive Library-Aware Synthesis Using Symmetries.

Victor N. Kravets Karem A. Sakallah

Published in: DATE (2000)

Keyphrases

program synthesis
database
social networks
e learning
public libraries
data sets
artificial intelligence
information systems
multiresolution
cross platform