PROGRAM AUTHORS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CompBench | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FLoC | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | HYPER | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | IMLA | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MartaFest | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | PIPs | PoS | QBF | RajeevFest | RCRA | RocqWS | SAIV | SAT | SD | SKILLED-LLMs | SmP | SMT | Soft | ST4DM | SteamingNeSy | SYNT | TEAL | TERMGRAPH | TGD | ThEdu | THEMA | TLLA | TPTPTP | UNIF | Vampire | VeriProP | WHOOPS | WiL | WPTE | WST | XLoKR-ExCoS | Full Program

Tias Guns Affiliation: KU Leuven Talks (ML4SP) Human-Aware Technology for Combinatorial Optimisation · Invited talk 2 (ModRef) Machine Learning-Based Generalization Queries for Constraint Acquisition · Session 1: Constraint Modelling and Propagation (LLM-Solve) Large Language Models for Explaining Unsatisfiable Constraint Satisfaction Problems · Session 1 - Explanations with LLMs (ModRef) Solution checking with CPMpy · Session 4: Applications (LLM-Solve) LLM-Guided Constraint Model Reformulation for Solving Efficiency · Session 4 - LLMs for Improving Solvers and Models (SAT) Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities · Session C: Solver Tools & Explanations (CP) Table Constraints for Integer Programming · Reformulation, MDD/FLOW (CP) Towards Step-Wise Explanations of Large Search Trees · Explanations (CP) From CP Modeling to Preference Elicitation in HMLV Assembly Problems · Application (Production, Timetabling, Automated Driving Systems) (CP) Session Chair — Data Mining (XLoKR-ExCoS) Efficient MUS Extraction with High-Level Model Rotation · Inconsistency & Repair Pages in this Program Program Program on Saturday, 18 July 2026 ML4SP on Saturday, 18 July 2026 ML4SP Program Program on Sunday, 19 July 2026 ModRef on Sunday, 19 July 2026 ModRef Program LLM-Solve on Sunday, 19 July 2026 LLM-Solve Program Program on Monday, 20 July 2026 SAT on Monday, 20 July 2026 SAT Program Program on Tuesday, 21 July 2026 CP on Tuesday, 21 July 2026 CP Program Program on Thursday, 23 July 2026 CP on Thursday, 23 July 2026 Program on Friday, 24 July 2026 XLoKR-ExCoS on Friday, 24 July 2026 XLoKR-ExCoS Program

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time: