@misc{indiciaefdc12637d7ab,
  title = {The Complexity of Boolean Connectivity Problem of \$k\$-Horn Formulas},
  author = {Takashi Horiyama and Shoon Mineyoshi and Yuto Okura and Kazuhisa Seto and Junichi Teruyama},
  year = {2026},
  url = {https://arxiv.org/abs/2608.19569},
  note = {Source identifier: 2608.19569}
}