Petr Kučera












            ******************************************************************************************

            * RNDr. Petr Kučera, Ph.D.
            ******************************************************************************************
            Assistant Professor

            kucerap(zavinac)ktiml.mff.cuni.cz [ MAIL "kucerap(zavinac)ktiml.mff.cuni.cz"]
            Personal web page [ URL "http://ktiml.mff.cuni.cz/~kucerap"]


            Welcome to my department web page...

            I am offering advising the Individual Software Project (NPRG045). I offer several topics a

            [ URL "http://ktiml.mff.cuni.cz/~kucerap/rp"] .






            ******************************************************************************************
            * Teaching
            ******************************************************************************************

            • NTIN090 Introduction to Complexity and Computability Theory [ URL "http://ktiml.mff.cuni
              NTIN090"] [S5, Wednesday, 15:40]
            • NTIN090 Introduction to Complexity and Computability Theory [ URL "http://ktiml.mff.cuni

              NTIN090"] (in English for Erasmus students) [S5, Tuesday, 10:40]







            ******************************************************************************************
            * Selected publications
            ******************************************************************************************

            • E. Boros, O. Čepek, A. Kogan, P. Kučera. Exclusive and Essential Sets of Implicates of B
              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 

              time, Annals of Mathematics and Artificial Intelligence, Volume 61, pp.249-291, Springer
            • O. Čepek, P. Kučera, P. Savický. Boolean functions with a simple certificate for CNF com
              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 Mat
              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:

              Practice of Computer Science, LNCS, Volume 7147, pp.177-189, Springer, 2012