Proceedings of the 2022 XCSP3 Competition - Université d'Artois Access content directly
Reports Year : 2022

Proceedings of the 2022 XCSP3 Competition

Abstract

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.
Fichier principal
Vignette du fichier
2209.00917.pdf (2.56 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03937145 , version 1 (13-01-2023)

Identifiers

Cite

Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca. Proceedings of the 2022 XCSP3 Competition. Arxiv. 2022. ⟨hal-03937145⟩
5 View
23 Download

Altmetric

Share

Gmail Facebook X LinkedIn More