Good-Enough Synthesis.

Shaull Almagor Orna Kupferman

Published in: CAV (2) (2020)

Keyphrases

texture synthesis
functional programs
artificial intelligence
databases
information systems
database
feature selection
knowledge base
face recognition
pairwise
control system
scheduling problem
program synthesis