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.


Teaching



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:  
Contact

Department secretary

(Petra Novotná)

+420 951 554 245

Fax: +420 951 554 323

E-mail:

Petra Novotná

Web administrator

(Jindřich Vodrážka)

Jindřich Vodrážka

Server administrator

(Milan Fučík)

Milan Fučík









Address

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



Map