Search the dblp DataBase

Publications of Author

1. Zenon Sadowski
   On an Optimal Deterministic Algorithm for SAT. [Citation Graph (0, 0)][DBLP]
   CSL, 1998, pp:179-187 [Conf]
   
2. Zenon Sadowski
   On an Optimal Quantified Propositional Proof System and a Complete Language for NP cap co-NP. [Citation Graph (0, 0)][DBLP]
   FCT, 1997, pp:423-428 [Conf]
   
3. Zenon Sadowski
   On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT). [Citation Graph (0, 0)][DBLP]
   MCU, 2001, pp:300-307 [Conf]
   
4. Zenon Sadowski
   On a D-N-optimal acceptor for TAUT [Citation Graph (0, 0)][DBLP]
   Electronic Colloquium on Computational Complexity (ECCC), 2005, v:, n:077, pp:- [Journal]
   
5. Zenon Sadowski
   On an optimal propositional proof system and the structure of easy subsets of TAUT. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:288, n:1, pp:181-193 [Journal]
   
6. Zenon Sadowski
   Optimal Proof Systems, Optimal Acceptors and Recursive Presentability. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:79, n:1-2, pp:169-185 [Journal]
   
7. 
   Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes. [Citation Graph (, )][DBLP]
   
   
8. 
   Optimal Proof Systems and Complete Languages. [Citation Graph (, )][DBLP]