Showing results (11-20 of 39) with videos related to
Sort By:
Pageof 4
Journal of Automated Reasoning|August 3, 2018
The OWL Reasoner Evaluation (ORE) 2015 Competition ReportBijan Parsia, Nicolas Matentzoglu, Rafael S Gonçalves, et al.Journal of Automated Reasoning|August 3, 2018
OWL Reasoning: Subsumption Test Hardness and ModularityNicolas Matentzoglu, Bijan Parsia, Uli SattlerJournal of Automated Reasoning|September 4, 2018
Relative Termination via Dependency PairsJosé Iborra, Naoki Nishida, Germán Vidal, et al.Journal of Automated Reasoning|July 22, 2026
The Relative Strength of #SAT Proof SystemsOlaf Beyersdorff, Johannes K Fichte, Markus Hecher, et al.Journal of Automated Reasoning|May 21, 2019
Long-Distance Q-Resolution with Dependency SchemesTomáš Peitl, Friedrich Slivovsky, Stefan SzeiderJournal of Automated Reasoning|September 4, 2018
On Definitions of Constants and Types in HOLRob ArthanJournal of Automated Reasoning|September 4, 2018
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local ProofsMatthias Schlaipfer, Georg WeissenbacherJournal of Automated Reasoning|March 14, 2019
Extraction of Expansion TreesAlexander Leitsch, Anela LolicJournal of Automated Reasoning|January 25, 2021
Building Strategies into QBF ProofsOlaf Beyersdorff, Joshua Blinkhorn, Meena MahajanJournal of Automated Reasoning|April 10, 2020
A Verified Implementation of the Berlekamp-Zassenhaus Factorization AlgorithmJose Divasón, Sebastiaan J C Joosten, René Thiemann, et al.Pageof 4