John Slaney

Identifiers

• name variant John Slaney 0.60 · backfill

Papers (3)

1. Scavenger 0.1: A Theorem Prover Based on Conflict Resolution cs.LO · 2017 · author #2
2. Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning cs.LO · 2016 · author #1
3. Logic considered fun cs.CY · 2015 · author #1

Mentions

• 1507.03683 #1 · backfill · confidence 0.70 John Slaney

Frequent Coauthors

• Bruno Woltzenlogel Paleo 2 shared papers
• Daniyar Itegulov 1 shared papers