Supporting Data

 

Experimental Results


A significant part of the work on automated deduction is of an experimental nature.  I support attempts to make experimental data available as much as possible. Hence, here I link to data repositories supporting some of our publications.


  1. Supporting data for Fingerprint Indexing for Paramodulation and Rewriting

  2. Supporting data for  A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae

  3. Supporting data for Simple and Efficient Clause Subsumption with Feature Vector Indexing (2004)

  4. Supporting data for Simple and Efficient Clause Subsumption with Feature Vector Indexing (2012)

  5. The initial distribution of the Deduction Server as described in Deduction as a Service (2015)

  6. The prerelease distribution of E 2.0 supporting systematic probing of large axiomatizations for inconsistency as described in Detecting Inconsistencies in Large First-Order Knowledge Bases (2017)