papers
Publications (10)
cs.LO2018
Hint Orchestration Using ACL2's Simplifier
Sol Swords
cs.LO2015
Fix Your Types
Sol Swords, Jared Davis
cs.LO2018
Incremental SAT Library Integration Using Abstract Stobjs
Sol Swords
cs.LO2011
Bit-Blasting ACL2 Theorems
Sol Swords, Jared Davis
astro-ph2005
Molecular Hydrogen Formation on Ice Under Interstellar Conditions
Hagai B. Perets, Ofer Biham, Giulio Manico +4
cs.LO2013
Verified AIG Algorithms in ACL2
Jared Davis, Sol Swords
cs.LO2017
Term-Level Reasoning in Support of Bit-blasting
Sol Swords
astro-ph2007
Formation of molecular hydrogen on amorphous silicate surfaces
Ling Li, Giulio Manico, Emanuele Congiu +8
cs.LO2017
Meta-extract: Using Existing Facts in Meta-reasoning
Matt Kaufmann, Sol Swords
astro-ph2007
Molecular Hydrogen Formation on Amorphous Silicates Under Interstellar Conditions
Hagai B. Perets, Adina Lederhendler, Ofer Biham +8