Approximating Minimum Representations of Key Horn Functions

Kristóf Bérczi, Endre Boros, Ondrej Cepek, Petr Kucera, Kazuhisa Makino. Approximating Minimum Representations of Key Horn Functions. SIAM Journal on Computing, 51(1):116-138, 2022. [doi]

@article{BercziBCKM22-0,
  title = {Approximating Minimum Representations of Key Horn Functions},
  author = {Kristóf Bérczi and Endre Boros and Ondrej Cepek and Petr Kucera and Kazuhisa Makino},
  year = {2022},
  doi = {10.1137/19m1275681},
  url = {https://doi.org/10.1137/19m1275681},
  researchr = {https://researchr.org/publication/BercziBCKM22-0},
  cites = {0},
  citedby = {0},
  journal = {SIAM Journal on Computing},
  volume = {51},
  number = {1},
  pages = {116-138},
}