Bérczi, Kristóf; Boros, Endre; Čepek, Ondřej; Kučera, Petr; Makino, Kazuhisa Unique key Horn functions. (English) Zbl 1500.68005 Theor. Comput. Sci. 922, 170-178 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 68P15 03B05 05C65 06E30 68Q25 68W25 PDFBibTeX XMLCite \textit{K. Bérczi} et al., Theor. Comput. Sci. 922, 170--178 (2022; Zbl 1500.68005) Full Text: DOI arXiv
Bérczi, Kristóf; Boros, Endre; Čepek, Ondřej; Kučera, Petr; Makino, Kazuhisa Approximating minimum representations of key Horn functions. (English) Zbl 1504.68052 SIAM J. Comput. 51, No. 1, 116-138 (2022). MSC: 68P15 03B05 05C65 06E30 68Q25 68W25 PDFBibTeX XMLCite \textit{K. Bérczi} et al., SIAM J. Comput. 51, No. 1, 116--138 (2022; Zbl 1504.68052) Full Text: DOI arXiv
Kratochvíl, Jan; Goljan, Miroslav; Kučera, Petr String graphs. (English) Zbl 0607.05031 Rozpr. Česk. Akad. Věd, Řada Mat. Přír. Věd 96, No. 3, 96 p. (1986). Reviewer: J.Reiterman MSC: 05C10 05-02 PDFBibTeX XML