rules management blog posts

LLM-Solve 2026

Blog: Decision Management Community

The workshop “LLMs meet Constraint Solving (LLM-Solve)” aims to bring together researchers exploring the intersection of Large Language Models (LLMs) and Constraint Solving (CP, SAT, SMT, MIP, and related paradigms). This workshop provides a platform to discuss recent advances, challenges, and opportunities in combining LLMs and constraint solving.