2 papers
cs.AI2026
LLM-Guided Quantified SMT Solving over Uninterpreted Functions
Kunhang Lv, Yuhang Dong, Rui Han +3
Quantified formulas with Uninterpreted Functions (UFs) over non-linear real arithmetic pose fundamental challenges for Satisfiability Modulo Theories (SMT) solving. Traditional qua…
cs.AI2025
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
Weichun Shi, Minghao Liu, Wanting Zhang +4
Constraint programming (CP) is a crucial technology for solving real-world constraint optimization problems (COPs), with the advantages of rich modeling semantics and high solving…