The CADE-14 ATP system competition
From MaRDI portal
Publication:1272606
DOI10.1023/A:1006006930186zbMath0916.68141MaRDI QIDQ1272606
Geoff Sutcliffe, Christian Suttner
Publication date: 3 January 1999
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items
\textsf{lazyCoP}: lazy paramodulation meets neurally guided search, Solving quantified linear arithmetic by counterexample-guided instantiation, The OWL reasoner evaluation (ORE) 2015 competition report, Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments, Machine learning guidance for connection tableaux, Making higher-order superposition work, Making higher-order superposition work, Confidences for commonsense reasoning, Extending SMT solvers to higher-order logic, GRUNGE: a grand unified ATP challenge, SCL clause learning from simple models, Ground joinability and connectedness in the superposition calculus, Evaluating general purpose automated theorem proving systems
