Petr Kucera Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2008

3 EE Ondrej Cepek, David Kronus, Petr Kucera: Recognition of interval Boolean functions. Ann. Math. Artif. Intell. 52(1): 1-24 (2008)

2005

2 EE Petr Kucera: On the size of maximum renamable Horn sub-CNF. Discrete Applied Mathematics 149(1-3): 126-130 (2005)

1 EE 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	EE	Ondrej Cepek, David Kronus, Petr Kucera: Recognition of interval Boolean functions. Ann. Math. Artif. Intell. 52(1): 1-24 (2008)
	2005
2	EE	Petr Kucera: On the size of maximum renamable Horn sub-CNF. Discrete Applied Mathematics 149(1-3): 126-130 (2005)
1	EE	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