Bounded Cycle Synthesis.

Bernd Finkbeiner Felix Klein

Published in: CAV (1) (2016)

Keyphrases

program synthesis
information systems
expert systems
trade off
knowledge base
image segmentation
face recognition
multiscale
cooperative
bounded treewidth
analog circuits