Zenon Sadowski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On an optimal quantified propositional proof system nal proof system and a complete language for NP ∩ co-NP for NP ∩ co-NP Fundamentals of Computation Theory	2022-12-09	Paper
Total nondeterministic Turing machines and a p-optimal proof system for SAT	2017-08-04	Paper
Do there exist complete sets for promise classes? Mathematical Logic Quarterly	2011-12-23	Paper
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes Computer Science - Theory and Applications	2009-08-18	Paper
scientific article; zbMATH DE number 5201477 (Why is no real title available?)	2007-10-17	Paper
On an optimal propositional proof system and the structure of easy subsets of TAUT. Theoretical Computer Science	2003-01-21	Paper
scientific article; zbMATH DE number 1738671 (Why is no real title available?)	2002-05-07	Paper
scientific article; zbMATH DE number 1342213 (Why is no real title available?)	2000-04-25	Paper
scientific article; zbMATH DE number 3829234 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Zenon Sadowski