TY  - RPRT
TI  - How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
AU  - Carlos Areces
AU  - Valentin Cassano
AU  - Raul Fervari
AU  - Pablo Castro
AU  - Andres Saravia
PY  - 2023
DO  - 10.1007/978-3-031-43619-2_28
UR  - https://arxiv.org/abs/2309.17094
ID  - 2309.17094
ER  -