| 2008 | ||
|---|---|---|
| 3 | Ondrej Cepek, David Kronus, Petr Kucera: Recognition of interval Boolean functions. Ann. Math. Artif. Intell. 52(1): 1-24 (2008) | |
| 2005 | ||
| 2 | Petr Kucera: On the size of maximum renamable Horn sub-CNF. Discrete Applied Mathematics 149(1-3): 126-130 (2005) | |
| 1 | Ondrej Cepek, Petr Kucera: Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing. Discrete Applied Mathematics 149(1-3): 14-52 (2005) | |
| 1 | Ondrej Cepek | [1] [3] |
| 2 | David Kronus | [3] |