REAL

Items where Author is "Kucera, Petr"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article | Monograph
Number of items: 3.

Article

Bérczi, Kristóf and Boros, Endre and Cepek, Ondrej and Kucera, Petr and Makino, Kazuhisa (2021) Approximating minimum representations of key Horn functions. SIAM JOURNAL ON COMPUTING. ISSN 0097-5397 (print); 1095-7111 (online) (Submitted)

Bérczi, Kristóf and Boros, Endre and Cepek, Ondrej and Elbassioni, Khaled and Kucera, Petr and Makino, Kazuhisa (2021) Generating clause sequences of a CNF formula. THEORETICAL COMPUTER SCIENCE, 856 (8). pp. 68-74. ISSN 0304-3975

Monograph

Bérczi, Kristóf and Boros, Endre and Cepek, Ondrej and Kucera, Petr and Makino, Kazuhisa (2020) Unique key Horn functions. Technical Report. UNSPECIFIED.

This list was generated on Fri Mar 29 16:29:06 2024 CET.