Showing 1 - 7 results of 7 for search 'Sol Swords', query time: 0.07s Refine Results
  1. 1
    Hint Orchestration Using ACL2's Simplifier
    by Sol Swords
    Published 2018-10-01
    Get full text
    Article
  2. 2
    Term-Level Reasoning in Support of Bit-blasting
    by Sol Swords
    Published 2017-05-01
    Get full text
    Article
  3. 3
    Incremental SAT Library Integration Using Abstract Stobjs
    by Sol Swords
    Published 2018-10-01
    Get full text
    Article
  4. 4
    Meta-extract: Using Existing Facts in Meta-reasoning
    by Matt Kaufmann, Sol Swords
    Published 2017-05-01
    Get full text
    Article
  5. 5
    Fix Your Types
    by Sol Swords, Jared Davis
    Published 2015-09-01
    Get full text
    Article
  6. 6
    Verified AIG Algorithms in ACL2
    by Jared Davis, Sol Swords
    Published 2013-04-01
    Get full text
    Article
  7. 7
    Bit-Blasting ACL2 Theorems
    by Sol Swords, Jared Davis
    Published 2011-10-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search