2022 XCSP3 competition: models, instances and results
International competitions of constraint solvers help us improving our knowledge about components (e.g., filtering algorithms, search heuristics, exploration strategies, encoding/reformulation techniques, learning approaches, …) that are behind the efficiency of solving systems for combinatorial constrained problems.