Search

Your search keyword '"Sadowski, Zenon"' showing total 15 results
Start Over Author "Sadowski, Zenon"
15 results on '"Sadowski, Zenon"'

1. Total Nondeterministic Turing Machines and a p-optimal Proof System for SAT

Author

Sadowski, Zenon, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kari, Jarkko, editor, Manea, Florin, editor, and Petre, Ion, editor

Published
2017
Full Text
View/download PDF

2. Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes

Author

Beyersdorff, Olaf, Sadowski, Zenon, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Frid, Anna, editor, Morozov, Andrey, editor, Rybalchenko, Andrey, editor, and Wagner, Klaus W., editor

Published
2009
Full Text
View/download PDF

4. A Straightforward Proof of Köbler-Messner’s Result

Author

Sadowski, Zenon, Symons, John, editor, Van Dalen, Dirk, editor, Davidson, Donald, editor, Kuipers, Theo A. F., editor, Suppes, Patrick, editor, Woleński, Jan, editor, Rojszczak, Artur, editor, Cachro, Jacek, editor, and Kurczewski, Gabriel, editor

Published
2003
Full Text
View/download PDF

13. On an Optimal Deterministic Algorithm for SAT.

Author

Gottlob, Georg, Grandjean, Etienne, Seyr, Katrin, and Sadowski, Zenon

Abstract

J. Krajícek and P. Pudlák proved that an almost optimal deterministic algorithm for TAUT exists if and only if there exists a p-optimal proof system for TAUT. In this paper we prove that an almost optimal deterministic algorithm for SAT exists if and only if there exists a p-optimal proof system for SAT. Combining Krajícek and Pudlák's result with our result we show that an optimal deterministic algorithm for SAT exists if and only if both p-optimal proof systems for TAUT and for SAT exist. [ABSTRACT FROM AUTHOR]

Published
1999
Full Text
View/download PDF

14. Optimal Proof Systems, Optimal Acceptors and Recursive Presentability.

Author

Sadowski, Zenon

Subjects
*ALGORITHMS, *ALGEBRA, *POLYNOMIALS, *APPROXIMATION theory, *MATHEMATICS
Abstract

We advocate the thesis that the following general statements are equivalent: the existence of an optimal proof system, the existence of an optimal acceptor (an algorithm with optimality property stated only for input strings which are accepted), and the existence of a suitable recursive presentation of the class of all easy (polynomial-time recognizable) subsets of TAUT (SAT). We prove three concrete versions of this thesis with different variants of notions appearing in it. These versions give alternative characterizations of the following problems: the existence of a p-optimal proof system for SAT, the existence of an optimal proof system for TAUT, and the existence of an optimal and automatizable proof system for TAUT. [ABSTRACT FROM AUTHOR]

Published
2007

15. On Connections Between Parallel Programs and Nondeterministic Sequential Programs

Author

Sadowski, Zenon

Abstract

The paper contains an affirmative answer to the following question: Does nondeterministic sequential program equivalent with respect to the set of final valuations exist for every parallel program with semantics defined in paper[3]? It also includes an example of the construction of a nondeterministic sequential program equivalent with respect to the set of final valuations to the given parallel program.

Published
1983
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results