Banković, Milan; Drecun, Ivan; Marić, Filip A proof system for graph (non)-isomorphism verification. (English) Zbl 07667099 Log. Methods Comput. Sci. 19, No. 1, Paper No. 9, 40 p. (2023). Reviewer: Truong Hoang Le (Hà Nội) MSC: 03B70 PDFBibTeX XMLCite \textit{M. Banković} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 9, 40 p. (2023; Zbl 07667099) Full Text: DOI arXiv
Baek, Seulkee; Carneiro, Mario; Heule, Marijn J. H. A flexible proof format for SAT solver-elaborator communication. (English) Zbl 07566059 Log. Methods Comput. Sci. 18, No. 2, Paper No. 3, 21 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Baek} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 3, 21 p. (2022; Zbl 07566059) Full Text: arXiv Link
Buss, Sam; Thapen, Neil DRAT and propagation redundancy proofs without new variables. (English) Zbl 07350778 Log. Methods Comput. Sci. 17, No. 2, Paper No. 12, 31 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Buss} and \textit{N. Thapen}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 12, 31 p. (2021; Zbl 07350778) Full Text: arXiv Link