Cover Image

Proceedings of the 2025 XCSP3 Competition

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Audemard, Gilles, Lecoutre, Christophe, Lonca, Emmanuel
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proceedings of the 2024 XCSP3 Competition
by: Audemard, Gilles, et al.
Published: (2024)

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems
by: Boussemart, Frederic, et al.
Published: (2016)

XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
by: Boussemart, Frédéric, et al.
Published: (2020)

ACE, a generic constraint solver
by: Lecoutre, Christophe
Published: (2023)

PyCSP3: Modeling Combinatorial Constrained Problems in Python
by: Lecoutre, Christophe, et al.
Published: (2020)

Explanation Quality Assessment as Ranking with Listwise Rewards
by: Bailleux, Thomas, et al.
Published: (2026)

Leveraging Association Rules for Better Predictions and Better Explanations
by: Audemard, Gilles, et al.
Published: (2025)

A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees
by: Audemard, Gilles, et al.
Published: (2025)

Inaugural MOASEI Competition at AAMAS'2025: A Technical Report
by: Patino, Ceferino, et al.
Published: (2025)

Proceedings of the Second International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2025)
by: Nguyen, Ha-Thanh, et al.
Published: (2025)

NeurIPS 2025 E2LM Competition : Early Training Evaluation of Language Models
by: Yagoubi, Mouadh, et al.
Published: (2025)

RMIT-ADM+S at the MMU-RAG NeurIPS 2025 Competition
by: Ran, Kun, et al.
Published: (2026)

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
by: Kaulen, Konstantin, et al.
Published: (2025)

Adaptive Bias Generalized Rollout Policy Adaptation on the Flexible Job-Shop Scheduling Problem
by: Kobrosly, Lotfi, et al.
Published: (2025)

Understanding Wikidata Qualifiers: An Analysis and Taxonomy
by: Falquet, Gilles, et al.
Published: (2026)

Frank's triangular norms in Piaget's logical proportions
by: Prade, Henri, et al.
Published: (2024)

Causal Strategic Learning with Competitive Selection
by: Vo, Kiet Q. H., et al.
Published: (2023)

Introducing Tales of Tribute AI Competition
by: Kowalski, Jakub, et al.
Published: (2023)

Toward accessible comics for blind and low vision readers
by: Rigaud, Christophe, et al.
Published: (2024)

Proceedings of 1st Workshop on Advancing Artificial Intelligence through Theory of Mind
by: Abrini, Mouad, et al.
Published: (2025)

Proceedings of the 2nd Workshop on Advancing Artificial Intelligence through Theory of Mind
by: Alon, Nitay, et al.
Published: (2026)

ICDAR 2025 Competition on End-to-End Document Image Machine Translation Towards Complex Layouts
by: Zhang, Yaping, et al.
Published: (2026)

Online Submission and Evaluation System Design for Competition Operations
by: Chen, Zhe, et al.
Published: (2025)

LeanGeo: Formalizing Competitional Geometry problems in Lean
by: Song, Chendong, et al.
Published: (2025)

Airlift Challenge: A Competition for Optimizing Cargo Delivery
by: Delanovic, Adis, et al.
Published: (2024)

CompetEvo: Towards Morphological Evolution from Competition
by: Huang, Kangyao, et al.
Published: (2024)

AEGIS: An Agent for Extraction and Geographic Identification in Scholarly Proceedings
by: Vishesh, Om, et al.
Published: (2025)

Stimulate the Potential of Robots via Competition
by: Huang, Kangyao, et al.
Published: (2024)

Building a Foundation Model for Trajectory from Scratch
by: Merten, Gaspard, et al.
Published: (2025)

Ranking Counterfactual Explanations
by: Lim, Suryani, et al.
Published: (2025)

CoALFake: Collaborative Active Learning with Human-LLM Co-Annotation for Cross-Domain Fake News Detection
by: Aïmeur, Esma, et al.
Published: (2026)

ELABORATION: A Comprehensive Benchmark on Human-LLM Competitive Programming
by: Yang, Xinwei, et al.
Published: (2025)

The Multi-Agent Reinforcement Learning in MalmÖ (MARLÖ) Competition
by: Perez-Liebana, Diego, et al.
Published: (2019)

Competitive Facility Location under Random Utilities and Routing Constraints
by: Pham, Hoang Giang, et al.
Published: (2024)

Reinforcing Competitive Multi-Agents for Playing 'So Long Sucker'
by: Sharan, Medant, et al.
Published: (2024)

What Gets Cited: Competitive GEO in AI Answer Engines
by: Vishwakarma, Rahul, et al.
Published: (2026)

Proceedings of the 2nd International Workshop on Adaptive Cyber Defense
by: Carvalho, Marco, et al.
Published: (2023)

Coupled Control, Structured Memory, and Verifiable Action in Agentic AI (SCRAT -- Stochastic Control with Retrieval and Auditable Trajectories): A Comparative Perspective from Squirrel Locomotion and Scatter-Hoarding
by: Armesto, Maximiliano, et al.
Published: (2026)

Reproducibility Study of Cooperation, Competition, and Maliciousness: LLM-Stakeholders Interactive Negotiation
by: Garcia, Jose L., et al.
Published: (2025)

Solution for Emotion Prediction Competition of Workshop on Emotionally and Culturally Intelligent AI
by: Xu, Shengdong, et al.
Published: (2024)