The Voice of the Flow: A Graph-Based Approach for Step-Wise Explanations of Constraint Satisfaction Problems

DGA$_2$D: Directed Graph-Guided Automated Algorithm Design with Large Language Models

A Directed Graph-Guided Automated Algorithm Design framework, termed DGA$_2$D, which structures the open-ended program space as a directed graph, where each node represents a functional operator that can be instantiated using one of multiple candidate code implementations, while directed walks constitute complete algor...

Towards Step-Wise Explanations of Large Search Trees (Short Paper)

From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc

This work presents a pipeline that combines LLM-based constraint generation with empirical evaluation and formal verification, and handles MiniZinc’s partial semantics by requiring the base model to be safe and separately proving that the proposed constraint is well-defined for all instances and solutions of the base m...

Exploiting Structure in the Boolean Weighted Constraint Satisfaction Problem: A Constraint Composite Graph-Based Approach

This dissertation uses the CCG to kernelize a WCSP instance, fix optimal values of some variables by maxflow before search begins, improve min-sum message passing, exploit integer linear programming solvers, and solve COPs on quantum annealers.

WhyUnsat: A Practical Explanation Tool

Here it is explained how and why the WhyUnsat approach is now also directly applicable, at no implementation cost, to IPASIR-UP-based constraint programming by Lazy Clause Generation (LCG) as well as to SAT Modulo Theories (SMT).

PathRAG: A Graph-Based Reasoning Approach for Enhancing Retrieval in Software User Manuals

In modern software systems, large-scale technical manuals and complex user workflows impose a significant cognitive barrier for end-users, particularly children and the elderly. While integrated automated assistants have emerged as a promising service paradigm to abstract these system complexities, traditional Retrieva...