Practical exact synthesis.

Mathias Soeken Winston Haaswijk Eleonora Testa Alan Mishchenko Luca Gaetano Amarù Robert K. Brayton Giovanni De Micheli

Published in: DATE (2018)

Keyphrases

wide range
databases
real world
artificial intelligence
neural network
information retrieval
computer vision
high level
computational complexity
digital libraries
pairwise
special case
graphical models
exact solution
practical problems