Inspirations

In my quest to develop a polynomial SAT solver, I've drawn inspiration from two seemingly unrelated sources: puzzles and botany. These inspirations have shaped my approach and provided me with unique perspectives on tackling the complexities of SAT problems.

Firstly, puzzles that require fitting structures within tight spaces have been a significant influence. This concept led me to view logical formulas as set structures, where the focus is on breaking them down based on their intrinsic properties, rather than relying on permutations and subsequent elimination of combinations. This approach offers a more direct and efficient way to analyze and solve SAT problems.

Secondly, the notion of acrotony in botany has offered an enlightening parallel. Acrotony refers to the tendency of plants to grow predominantly from their top branches. In the context of grapevine pruning, agronomists aim to promote growth from the lower branches, which have access to more resources, ensuring that the main branch stands out among the others. By applying this concept to algorithms, I'm exploring a method where, instead of allowing computations to grow acrotonically, we focus on the inner structure of the function. This ensures that computations follow the function's inherent rules, leading to more controlled and efficient growth.

These inspirations, from the world of puzzles and the principles of botany, have been instrumental in guiding my exploration of polynomial SAT solvers. They remind me that sometimes, the most innovative solutions come from the most unexpected places.