Abstract:We propose a major revision of the format XCSP 2.1, called XCSP3, to build integrated representations of combinatorial constrained problems. This new format is able to deal with mono/multi optimization, many types of variables, cost functions, reification, views, annotations, variable quantification, distributed, probabilistic and qualitative reasoning. The new format is made compact, highly readable, and rather easy to parse. Interestingly, it captures the structure of the problem models, through the possibilities of declaring arrays of variables, and identifying syntactic and semantic groups of constraints. The number of constraints is kept under control by introducing a limited set of basic constraint forms, and producing almost automatically some of their variations through lifting, restriction, sliding, logical combination and relaxation mechanisms. As a result, XCSP3 encompasses practically all constraints that can be found in major constraint solvers developed by the CP community. A website, which is developed conjointly with the format, contains many models and series of instances. The user can make sophisticated queries for selecting instances from very precise criteria. The objective of XCSP3 is to ease the effort required to test and compare different algorithms by providing a common test-bed of combinatorial constrained instances.

Proceedings of the 2023 XCSP3 Competition

Proceedings of the 2024 XCSP3 Competition

Proceedings of the 2022 XCSP3 Competition

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

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

CHC-COMP 2023: Competition Report

CPS Workshop 2023 Proceedings

The 2023 International Planning Competition

Competition Report: CHC-COMP-20

Competition Report: CHC-COMP-21

Preface: 2023 International Conference on Computer Simulation Technologies and Mathematical Modeling (CSTMM 2023)

PyCSP3: Modeling Combinatorial Constrained Problems in Python

CCKS 2022 - Evaluation Track

OpenSUN3D: 1st Workshop Challenge on Open-Vocabulary 3D Scene Understanding

Proceedings 17th Interaction and Concurrency Experience

ChainScience 2023, Conference Proceedings

Proceedings of CICLOPS-WLPE 2010

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics

Proceedings 38th International Conference on Logic Programming

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications