activity
20192025
most citedThe provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.CC2025

The Proof Analysis Problem

Noel Arteche, Albert Atserias, Susanna F. de Rezende +1

Atserias and Müller (JACM, 2020) proved that for every unsatisfiable CNF formula , the formula , stating " has small Resolution refutations", does not…