Competing provers protocols for circuit evaluation.

Gillat Kol Ran Raz

Published in: ITCS (2013)

Keyphrases

theorem proving
data sets
high speed
evaluation method
evaluation model
genetic algorithm
multi agent
digital libraries
evaluation methods
xml retrieval
analog circuits