A Framework for Automatic Generation of Fully Synthesizable ADPLL.

Shinya Ubukata Satoshi Komatsu

Published in: ICECS (2018)

Keyphrases

main contribution
theoretical framework
user friendly
databases
information retrieval
neural network
real world
image processing
web services
image segmentation
reinforcement learning
probabilistic model
lightweight