Sol Swords

Identifiers

• name variant Sol Swords 0.60 · backfill

Papers (5)

1. Term-Level Reasoning in Support of Bit-blasting cs.LO · 2017 · author #1
2. Meta-extract: Using Existing Facts in Meta-reasoning cs.LO · 2017 · author #2
3. Formation of molecular hydrogen on amorphous silicate surfaces astro-ph · 2007 · author #5
4. Molecular Hydrogen Formation on Amorphous Silicates Under Interstellar Conditions astro-ph · 2007 · author #6
5. Molecular Hydrogen Formation on Ice Under Interstellar Conditions astro-ph · 2004 · author #6

Mentions

• 0709.2472 #5 · backfill · confidence 0.70 Sol Swords

Frequent Coauthors

• Gianfranco Vidali 3 shared papers
• Giulio Manico 3 shared papers
• Hagai B. Perets 3 shared papers
• Joe Roser 3 shared papers
• Ofer Biham 3 shared papers
• Valerio Pirronello 3 shared papers
• Adina Lederhendler 2 shared papers
• Emanuele Congiu 2 shared papers
• John Robert Brucato 2 shared papers
• Ling Li 2 shared papers
• Matt Kaufmann 1 shared papers