Petr Kučera

RNDr. Petr Kučera, Ph.D.

Petr Kučera
Petr Kučera

Assistant Professor

Personal web page

Welcome to my department web page...

I am offering advising the Individual Software Project (NPRG045). I offer several topics at my web pages.


Selected publications

  • E. Boros, O. Čepek, A. Kogan, P. Kučera. Exclusive and Essential Sets of Implicates of Boolean Functions., Discrete Applied Mathematics, Volume 158, Number 2, pp.81-96, Elsevier, 2010

  • E. Boros, O. Čepek, A. Kogan, P. Kučera. A subclass of Horn CNFs optimally compressible in polynomial time, Annals of Mathematics and Artificial Intelligence, Volume 61, pp.249-291, Springer, 2009

  • O. Čepek, P. Kučera, P. Savický. Boolean functions with a simple certificate for CNF complexity, Discrete Applied Mathematics, Volume 160, Issues 4-5, pp.365-382, Elsevier, 2012

  • O. Čepek, D. Kronus, P. Kučera. Recognition of interval Boolean functions, Annals of Mathematics and Artificial Intelligence, Volume 52, Number 1/January, pp.1-24, Springer, 2008

  • O. Čepek, P. Kučera, V. Vlček. Properties of SLUR formulae., Proceedings of SOFSEM 2012: Theory and Practice of Computer Science, LNCS, Volume 7147, pp.177-189, Springer, 2012

Last change: October 24, 2017 09:30 
Share on: Facebook Share on: Twitter
Share on:  

Department secretary

(Petra Novotná)

Tel.:+420 951 554 245


Petra Novotná

Web administrator

(Jindřich Vodrážka)

Jindřich Vodrážka

Server administrator

(Milan Fučík)

Milan Fučík


Department of Theoretical Computer Science and Mathematical Logic

Faculty of Mathematics and Physics

Charles University

Malostranské náměstí 25

Prague 1, 118 00

Czech Republic