SAT Net: Learning MAXSAT Constraints - Part 1

SAT Net: Learning MAXSAT Constraints - Part 1

Explore the groundbreaking SAT Net algorithm in this first installment of a three-part video series. Delve into the original research by Wang et al., as presented by Paulo Shakarian during an Arizona State University seminar on neurosymbolic reasoning. Learn about the innovative approach of combining symbolic methods with deep learning to solve MAXSAT constraints. Gain insights into this cutting-edge area of artificial intelligence that bridges logic programming and neural networks, paving the way for advancements in artificial general intelligence (AGI).