Ĥ
Results: 214564
# | Item |
---|---|
81 | Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.eduAdd to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:42 |
82 | ON INTERACTIVE PROOFS WITH A LACONIC PROVER Oded Goldreich, Salil Vadhan, and Avi Wigderson Abstract. We continue the investigation of interactive proofs with bounded communication, as initiated by Goldreich and HastadAdd to Reading ListSource URL: www.math.ias.eduLanguage: English - Date: 2003-06-27 08:43:01 |
83 | The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, SwedenAdd to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2017-08-06 02:05:36 |
84 |