Zenon Sadowski

From MaRDI portal
Person:1853506

Available identifiers

zbMath Open sadowski.zenonMaRDI QIDQ1853506

List of research outcomes





PublicationDate of PublicationType
On an optimal quantified propositional proof system nal proof system and a complete language for NP ∩ co-NP for NP ∩ co-NP2022-12-09Paper
Total nondeterministic Turing machines and a p-optimal proof system for SAT2017-08-04Paper
Do there exist complete sets for promise classes?2011-12-23Paper
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes2009-08-18Paper
https://portal.mardi4nfdi.de/entity/Q54222702007-10-17Paper
On an optimal propositional proof system and the structure of easy subsets of TAUT.2003-01-21Paper
https://portal.mardi4nfdi.de/entity/Q45300082002-05-07Paper
https://portal.mardi4nfdi.de/entity/Q42637982000-04-25Paper
https://portal.mardi4nfdi.de/entity/Q36740391983-01-01Paper

Research outcomes over time

This page was built for person: Zenon Sadowski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1853506&oldid=6064276"
Powered by MediaWiki