Exact Synthesis of ESOP Forms.

Heinz Riener Rüdiger Ehlers Bruno Schmitt Giovanni De Micheli

Published in: CoRR (2018)

Keyphrases

program synthesis
website
brute force
neural network
case study
reinforcement learning
wide range
search algorithm
exact solution