Petr Kucera

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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)

Coauthor Index