Petr Kucera

List of publications from the DBLP Bibliography Server - FAQ

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)

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