Formally Verified Certificate Checkers for Hardest-to-Round Computation
Work
Year: 2014
Type: article
Source: Journal of Automated Reasoning
Institutions Institut national de recherche en informatique et en automatique, Laboratoire de Recherche en Informatique, École Normale Supérieure de Lyon, Université Claude Bernard Lyon 1, Centre National de la Recherche Scientifique +3 more
Cites: 32
Cited by: 6
Related to: 10
FWCI: 0.661
Citation percentile (by year/subfield): 71.56
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed