1.Boolean functions with a vertex-transitive group of automorphisms

作　　者：Petr Savicky

出　　处：Electronic Colloquium on Computational Complexity. 2013 ;2013.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774938

文章详细全文下载

2.On determinism versus unambiquous nondeterminism for decision trees

作　　者：Petr Savicky

出　　处：Electronic Colloquium on Computational Complexity. 2002 ;2002.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47146912

文章详细全文下载

3.A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism

作　　者：Petr Savicky, Detlef Sieling

出　　处：Electronic Colloquium on Computational Complexity. 2001 ;2001.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47146993

文章详细全文下载

4.On P versus NP \cap co-NP for Decision Trees and Read-Once Branching Programs

作　　者：S. Jukna ;A. Razborov ;Petr Savicky 等

出　　处：Electronic Colloquium on Computational Complexity. 1997 ;1997.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：49468515

文章详细全文下载

5.Complexity and Probability of some Boolean Formulas

作　　者：Petr Savicky

出　　处：Electronic Colloquium on Computational Complexity. 1997 ;1997.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：49468616

文章详细全文下载

6.A probabilistic nonequivalence test for syntactic (1,+k)-branching programs

作　　者：Petr Savicky

出　　处：Electronic Colloquium on Computational Complexity. 1998 ;1998.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：49468857

文章详细全文下载

7.On Random Orderings of Variables for Parity OBDDs

作　　者：Petr Savicky

出　　处：Electronic Colloquium on Computational Complexity. 1998 ;1998.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：49468903

文章详细全文下载

8.Approximations by OBDDs and the variable ordering problem

作　　者：Matthias Krause ;Petr Savicky ;Ingo Wegener

出　　处：Electronic Colloquium on Computational Complexity. 1999 ;1999.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：49468928

文章详细全文下载

9.A large lower bound for 1-branching programs

作　　者：Petr Savicky, Stanislav Zak

出　　处：Electronic Colloquium on Computational Complexity. 1996 ;1996.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：73953633

文章详细全文下载

10.A hierarchy for (1,+k)-branching programs with respect to k

作　　者：Petr Savicky, Stanislav Zak

出　　处：Electronic Colloquium on Computational Complexity. 1996 ;1996.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：73953663

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Petr Savicky")))) )) ) )"

	Petr Savicky	7篇
	Ingo Wegener	2篇
	Petr Savicky, Stanislav Zak	2篇
	A. Razborov	1篇
	Matthias Krause	1篇