# Proceedings of the 2022 XCSP3 Competition

arXiv: https://arxiv.org/abs/2209.00917 · HTML: https://mlsanity.com/paper/2209.00917/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- Builds on 7 of its 94 references that are in the map.
- First posted on arXiv 2 Sep 2022.

## Builds on (most cited first, 7 of 7)

- [PyCSP3: Modeling Combinatorial Constrained Problems in Python](https://mlsanity.com/paper/2009.00326/) (2020)
- [XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems](https://mlsanity.com/paper/1611.03398/) (2016)
- [XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems](https://mlsanity.com/paper/2009.00514/) (2020)
- [Tractability and Decompositions of Global Cost Functions](https://mlsanity.com/paper/1502.02414/) (2015)
- [Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems](https://mlsanity.com/paper/1401.4601/) (2014)
- [Propagation via Kernelization: The Vertex Cover Constraint](https://mlsanity.com/paper/1702.02470/) (2017)
- [Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat](https://mlsanity.com/paper/2109.08293/) (2021)

## Built on by (most cited first, 2 of 2)

- [Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver](https://mlsanity.com/paper/2301.01913/) (2023)
- [ACE, a generic constraint solver](https://mlsanity.com/paper/2302.05405/) (2023)

## Abstract (arXiv)

This document represents the proceedings of the 2022 XCSP3 Competition. The results of this competition of constraint solvers were presented at FLOC (Federated Logic Conference) 2022 Olympic Games, held in Haifa, Israel from 31th July 2022 to 7th August, 2022.