Anonymous Yoking-Group Proofs.

Nan Li Yi Mu Willy Susilo Vijay Varadharajan

Published in: AsiaCCS (2015)

Keyphrases

neural network
theorem proving
genetic algorithm
search engine
optimal solution
image processing
website
case study