dr Zenon Sadowski

Publikacje

1. Z. Sadowski
   Total Nondeterministic Turing Machines and a p-optimal Proof System for SAT
   Unveiling Dynamics and Complexity, 13th Conference CiE 2017, Jun 12-16, 2017, Turku, Finland, (K. Kari, F. Manea, I. Petre Ed(s).), LNCS vol. 10307, (publ. by) Springer, 2017, pp. 364-374.
   DOI: 10.1007/978-3-319-58741-7_34