SAT-Based Planning and LLM Reasoning: From Symbolic Logic to Neural Networks
Explore how SAT solvers tackle AI planning problems and how modern LLMs with reasoning capabilities evolved from classical symbolic approaches. Understand the bridge between logic and neural networks.