From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

NP-completeness of small conflict set generation for congruence closure.

A. Fellner, P. Fontaine, и B. Paleo. Formal Methods Syst. Des., 51 (3): 533-544 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Physics and proof theory.B. Paleo. Appl. Math. Comput., 219 (1): 45-53 (2012)Greedy pebbling for proof space compression.A. Fellner, и B. Paleo. Int. J. Softw. Tools Technol. Transf., 21 (1): 71-86 (2019)Complexity of translations from resolution to sequent calculus.G. Reis, и B. Paleo. Math. Struct. Comput. Sci., 29 (8): 1061-1091 (2019)Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.J. Slaney, и B. Paleo. J. Autom. Reason., 60 (2): 133-156 (2018)Epsilon Terms in Intuitionistic Sequent Calculus.B. Paleo, и G. Reis. FLAP, (2017)Transforming and Analyzing Proofs in the CERES-System.S. Hetzl, A. Leitsch, D. Weller, и B. Paleo. LPAR Workshops, том 418 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)Herbrand Sequent Extraction.S. Hetzl, A. Leitsch, D. Weller, и B. Paleo. AISC/MKM/Calculemus, том 5144 из Lecture Notes in Computer Science, стр. 462-477. Springer, (2008)Gödel's God in Isabelle/HOL.C. Benzmueller, и B. Paleo. Arch. Formal Proofs, (2013)Towards CERes in intuitionistic logic.A. Leitsch, G. Reis, и B. Paleo. CSL, том 16 из LIPIcs, стр. 485-499. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)NP-completeness of small conflict set generation for congruence closure.A. Fellner, P. Fontaine, и B. Paleo. Formal Methods Syst. Des., 51 (3): 533-544 (2017)