The SCEAS System
Navigation Menu

Search the dblp DataBase


Zenon Sadowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.004secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002