DeepAI AI Chat

Proceedings of the 2022 XCSP3 Competition

09/02/2022

∙

by Gilles Audemard, et al.

∙

cril.fr

∙

∙

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.

Gilles Audemard
7 publications
Christophe Lecoutre
7 publications
Emmanuel Lonca
5 publications

page 6

page 9

page 11

page 15

page 25

page 33

page 36

page 38

∙ 12/17/2018

Proceedings of the 2018 XCSP3 Competition

This document represents the proceedings of the 2018 XCSP3 Competition. ...

0 Christophe Lecoutre, et al. ∙

∙ 04/05/2013

Simulated Car Racing Championship: Competition Software Manual

This manual describes the competition software for the Simulated Car Rac...

0 Daniele Loiacono, et al. ∙

∙ 06/03/2011

ATTac-2000: An Adaptive Autonomous Bidding Agent

The First Trading Agent Competition (TAC) was held from June 22nd to Jul...

0 M. Kearns, et al. ∙

∙ 04/20/2023

SBFT Tool Competition 2023 – Fuzzing Track

This report outlines the objectives, methodology, challenges, and result...

0 Dongge Liu, et al. ∙

∙ 04/25/2021

Swimmer Stroke Rate Estimation From Overhead Race Video

In this work, we propose a swimming analytics system for automatically d...

0 Timothy Woinoski, et al. ∙

∙ 11/09/2021

An Examination of Sport Climbing's Competition Format and Scoring System

Sport climbing, which made its Olympic debut at the 2020 Summer Games, g...

0 Quang Nguyen, et al. ∙

∙ 12/21/2020

SARS-CoV-2 Coronavirus Data Compression Benchmark

This paper introduces a lossless data compression competition that bench...

0 Innar Liiv, et al. ∙