Cover Image

Towards Bound Consistency for the No-Overlap Constraint Using MDDs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Guichard, Amaury, Michel, Laurent, Verhaeghe, Hélène, Schaus, Pierre
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models
by: Crespin, Augustin, et al.
Published: (2025)

Implementing Cumulative Functions with Generalized Cumulative Constraints
by: Schaus, Pierre, et al.
Published: (2025)

Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches
by: Boisvert, Léo, et al.
Published: (2024)

Sequence Variables: A Constraint Programming Computational Domain for Routing and Sequencing
by: Delecluse, Augustin, et al.
Published: (2025)

Solving the Aircraft Disassembly Scheduling Problem
by: Thomas, Charles, et al.
Published: (2026)

Exploiting Symmetries in MUS Computation (Extended version)
by: Bleukx, Ignace, et al.
Published: (2024)

CP or DP? Why Not Both: A Case Study in the Partial Shop Scheduling Problem
by: Legrand, Emma, et al.
Published: (2026)

A Generic Complete Anytime Beam Search for Optimal Decision Tree
by: Kiossou, Harold Silvère, et al.
Published: (2025)

Anytime Optimal Decision Tree Learning with Continuous Features
by: Kiossou, Harold, et al.
Published: (2026)

Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection
by: Coppé, Vianney, et al.
Published: (2022)

Virtual Arc Consistency for Linear Constraints in Cost Function Networks
by: Montalbano, Pierre, et al.
Published: (2025)

Conformal Prediction for Dose-Response Models with Continuous Treatments
by: Verhaeghe, Jarne, et al.
Published: (2024)

Locally Optimal Solutions to Constraint Displacement Problems via Path-Obstacle Overlaps
by: Thomas, Antony, et al.
Published: (2025)

Trustworthy and Explainable Decision-Making for Workforce allocation
by: Povéda, Guillaume, et al.
Published: (2024)

ARC-NCA: Towards Developmental Solutions to the Abstraction and Reasoning Corpus
by: Guichard, Etienne, et al.
Published: (2025)

Bidirectional Bounded-Suboptimal Heuristic Search with Consistent Heuristics
by: Shperberg, Shahaf S., et al.
Published: (2025)

Towards Safe and Honest AI Agents with Neural Self-Other Overlap
by: Carauleanu, Marc, et al.
Published: (2024)

From Learning Resources to Competencies: LLM-Based Tagging with Evidence and Graph Constraints
by: Le, Ngoc Luyen, et al.
Published: (2026)

ACCO: Accumulate While You Communicate for Communication-Overlapped Sharded LLM Training
by: Nabli, Adel, et al.
Published: (2024)

Hyperparameter Optimization of Constraint Programming Solvers
by: Haddad, Hedieh, et al.
Published: (2026)

Dual Consistent Constraint via Disentangled Consistency and Complementarity for Multi-view Clustering
by: Li, Bo, et al.
Published: (2025)

FloCA: Towards Faithful and Logically Consistent Flowchart Reasoning
by: Zou, Jinzi, et al.
Published: (2026)

Automatic Constraint Policy Optimization based on Continuous Constraint Interpolation Framework for Offline Reinforcement Learning
by: Han, Xinchen, et al.
Published: (2026)

Learning Valid Dual Bounds in Constraint Programming: Boosted Lagrangian Decomposition with Self-Supervised Learning
by: Bessa, Swann, et al.
Published: (2024)

Multi-task Visual Grounding with Coarse-to-Fine Consistency Constraints
by: Dai, Ming, et al.
Published: (2025)

An Augmentation Overlap Theory of Contrastive Learning
by: Zhang, Qi, et al.
Published: (2025)

Emergence WebVoyager: Toward Consistent and Transparent Evaluation of (Web) Agents in The Wild
by: Akkil, Deepak, et al.
Published: (2026)

Toward Stable Value Alignment: Introducing Independent Modules for Consistent Value Guidance
by: Chen, Wenhao, et al.
Published: (2026)

Towards Provably Unbiased LLM Judges via Bias-Bounded Evaluation
by: Feuer, Benjamin, et al.
Published: (2026)

Towards Consistent Natural-Language Explanations via Explanation-Consistency Finetuning
by: Chen, Yanda, et al.
Published: (2024)

Enhancing Recommender Systems Using Textual Embeddings from Pre-trained Language Models
by: Le, Ngoc Luyen, et al.
Published: (2025)

PIQL: Projective Implicit Q-Learning with Support Constraint for Offline Reinforcement Learning
by: Han, Xinchen, et al.
Published: (2025)

Towards Annotation-Free Validation of MLLMs: A Vision-Language Logical Consistency Metric
by: Gu, Ying, et al.
Published: (2026)

Towards Consistent and Explainable Motion Prediction using Heterogeneous Graph Attention
by: Demmler, Tobias, et al.
Published: (2024)

Minimax Optimal Variance-Aware Regret Bounds for Multinomial Logistic MDPs
by: Boudart, Pierre, et al.
Published: (2026)

Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers
by: Banković, Milan
Published: (2024)

Using Certifying Constraint Solvers for Generating Step-wise Explanations
by: Bleukx, Ignace, et al.
Published: (2025)

Mapping Overlaps in Benchmarks through Perplexity in the Wild
by: Wu, Siyang, et al.
Published: (2025)

A Benchmark for Gap and Overlap Analysis as a Test of KG Task Readiness
by: Mridul, Maruf Ahmed, et al.
Published: (2026)

Overlapping Community Detection using Dynamic Dilated Aggregation in Deep Residual GCN
by: Muttakin, Md Nurul, et al.
Published: (2022)