Proceedings of the 2022 XCSP3 Competition
Not on the map. Why?
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.
Key facts. Cited by 2 papers in the map (data through 7 Oct 2026). Builds on 7 of its 94 references that are in the map. First posted on arXiv 2 Sep 2022.
Builds on
7 of 94 references.
References · 7
- 2020PyCSP3: Modeling Combinatorial Constrained Problems in Pythoncited by 9
- 2016XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problemscited by 7
- 2020XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problemscited by 7
- 2015Tractability and Decompositions of Global Cost Functionscited by 2
- 2014Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problemscited by 1
- 2017Propagation via Kernelization: The Vertex Cover Constraintcited by 1
- 2021Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picatcited by 1
Built on by
Citing papers per year: 2023: 2.
2 papers.