40 citations · 43 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
Catherine Dubois, Bruno Woltzenlogel Paleo
This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS…
cs.LO2017
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restr…