@misc{indiciae8844be8affa2,
  title = {How Easy it is to Know How: An Upper Bound for the Satisfiability Problem},
  author = {Carlos Areces and Valentin Cassano and Raul Fervari and Pablo Castro and Andres Saravia},
  year = {2023},
  doi = {10.1007/978-3-031-43619-2\_28},
  url = {https://arxiv.org/abs/2309.17094},
  note = {Source identifier: 2309.17094}
}