Buchumschlag

XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Boussemart, Frédéric, Lecoutre, Christophe, Audemard, Gilles, Piette, Cédric
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
von: Boussemart, Frederic, et al.
Veröffentlicht: (2016)

Proceedings of the 2025 XCSP3 Competition
von: Audemard, Gilles, et al.
Veröffentlicht: (2025)

Proceedings of the 2024 XCSP3 Competition
von: Audemard, Gilles, et al.
Veröffentlicht: (2024)

PyCSP3: Modeling Combinatorial Constrained Problems in Python
von: Lecoutre, Christophe, et al.
Veröffentlicht: (2020)

ACE, a generic constraint solver
von: Lecoutre, Christophe
Veröffentlicht: (2023)

Modeling Uncertainty: Constraint-Based Belief States in Imperfect-Information Games
von: Morenville, Achille, et al.
Veröffentlicht: (2025)

Guided Discrete Diffusion for Constraint Satisfaction Problems
von: Jung, Justin
Veröffentlicht: (2025)

Leveraging Association Rules for Better Predictions and Better Explanations
von: Audemard, Gilles, et al.
Veröffentlicht: (2025)

A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees
von: Audemard, Gilles, et al.
Veröffentlicht: (2025)

FourierCSP: Differentiable Constraint Satisfaction Problem Solving by Walsh-Fourier Expansion
von: Cen, Yunuo, et al.
Veröffentlicht: (2025)

Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction
von: Curtis, Aidan, et al.
Veröffentlicht: (2024)

CogniPlay: a work-in-progress Human-like model for General Game Playing
von: Rautureau, Aloïs, et al.
Veröffentlicht: (2025)

Explainable Distributed Constraint Optimization Problems
von: Rachmut, Ben, et al.
Veröffentlicht: (2025)

Valet: A Standardized Testbed of Traditional Imperfect-Information Card Games
von: Goadrich, Mark, et al.
Veröffentlicht: (2026)

Toward Modeling Player-Specific Chess Behaviors
von: Sogliuzzo, Loris, et al.
Veröffentlicht: (2026)

Generalized Rapid Action Value Estimation in Memory-Constrained Environments
von: Rautureau, Aloïs, et al.
Veröffentlicht: (2026)

Multi-Attribute Constraint Satisfaction via Language Model Rewriting
von: Baheti, Ashutosh, et al.
Veröffentlicht: (2024)

Learning with Logical Constraints but without Shortcut Satisfaction
von: Li, Zenan, et al.
Veröffentlicht: (2024)

Fuzzy Categorical Planning: Autonomous Goal Satisfaction with Graded Semantic Constraints
von: Qu, Shuhui
Veröffentlicht: (2026)

Sliding Window 3-Objective Pareto Optimization for Problems with Chance Constraints
von: Neumann, Frank, et al.
Veröffentlicht: (2024)

Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc
von: Singirikonda, Akash, et al.
Veröffentlicht: (2025)

Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP)
von: Istrate, Gabriel
Veröffentlicht: (2024)

Learn to Relax with Large Language Models: Solving Constraint Optimization Problems via Bidirectional Coevolution
von: Liu, Beidan, et al.
Veröffentlicht: (2025)

Prompt Optimization Across Multiple Agents for Representing Diverse Human Populations
von: Nguyen, Manh Hung, et al.
Veröffentlicht: (2025)

Attention Satisfies: A Constraint-Satisfaction Lens on Factual Errors of Language Models
von: Yuksekgonul, Mert, et al.
Veröffentlicht: (2023)

ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search
von: Collura, Vincenzo, et al.
Veröffentlicht: (2025)

ConstraintBench: Benchmarking LLM Constraint Reasoning on Direct Optimization
von: Tso, Joseph, et al.
Veröffentlicht: (2026)

Efficient Constraint Generation for Stochastic Shortest Path Problems
von: Schmalz, Johannes, et al.
Veröffentlicht: (2026)

Efficient Constraint Generation for Stochastic Shortest Path Problems
von: Schmalz, Johannes, et al.
Veröffentlicht: (2024)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
von: Miya, Shinobu
Veröffentlicht: (2025)

Format-Constraint Coupling in Knowledge Graph Construction from Statistical Tables
von: Qi, Jingxuan, et al.
Veröffentlicht: (2026)

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
von: Lin, Xiaoshan, et al.
Veröffentlicht: (2024)

Hyperparameter Optimization of Constraint Programming Solvers
von: Haddad, Hedieh, et al.
Veröffentlicht: (2026)

Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
von: Xu, Yudong W., et al.
Veröffentlicht: (2025)

Learning Model Agnostic Explanations via Constraint Programming
von: Koriche, Frederic, et al.
Veröffentlicht: (2024)

Representing states in iterated belief revision
von: Liberatore, Paolo
Veröffentlicht: (2023)

CaDA: Cross-Problem Routing Solver with Constraint-Aware Dual-Attention
von: Li, Han, et al.
Veröffentlicht: (2024)

DCP-Bench-Open: Evaluating LLMs for Constraint Modelling of Discrete Combinatorial Problems
von: Michailidis, Kostis, et al.
Veröffentlicht: (2025)

A Definition of Open-Ended Learning Problems for Goal-Conditioned Agents
von: Sigaud, Olivier, et al.
Veröffentlicht: (2023)

GAVEL: Generating Games Via Evolution and Language Models
von: Todd, Graham, et al.
Veröffentlicht: (2024)