Showing 1 - 4 results of 4 for search 'Jared Davis', query time: 0.09s Refine Results
  1. 1
    Fix Your Types
    by Sol Swords, Jared Davis
    Published 2015-09-01
    Get full text
    Article
  2. 2
    Verified AIG Algorithms in ACL2
    by Jared Davis, Sol Swords
    Published 2013-04-01
    Get full text
    Article
  3. 3
    Bit-Blasting ACL2 Theorems
    by Sol Swords, Jared Davis
    Published 2011-10-01
    Get full text
    Article
  4. 4
    Industrial-Strength Documentation for ACL2
    by Jared Davis, Matt Kaufmann
    Published 2014-06-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search