Keyword:resolution

Publications
Classes of Hard Formulas for QBF Resolution Agnes Schleitzer and Olaf Beyersdorff EasyChair Preprint 8633
Renewal of the Camera Resolution Measurement Software “HYRes” Hideaki Yoshida EasyChair Preprint 6713
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann EasyChair Preprint 396
Patterns in the Formation of the Conceptual Apparatus in Regulating the Internet in Russia Victor Naumov EasyChair Preprint 381
Partial Regularization of First-Order Resolution Proofs Jan Gorzny, Ezequiel Postan and Bruno Woltzenlogel Paleo EasyChair Preprint 360
Partial Regularization of First-Order Resolution Proofs Jan Gorzny, Ezequiel Postan and Bruno Woltzenlogel Paleo In:GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)
BDI: A New Decidable First-order Clause Class Manuel Lamotte-Schubert and Christoph Weidenbach In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Escape to Mizar from ATPs Jesse Alama In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
LEO-II Version 1.5 Christoph Benzmüller and Nik Sultana In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Redirecting Proofs by Contradiction Jasmin Christian Blanchette In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving