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
