Pith. sign in

REVIEW 1 cited by

Proceedings of the 2022 XCSP3 Competition

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2209.00917 v2 pith:55VKU5S7 submitted 2022-09-02 cs.AI

Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca This is my paper · ORCID
classification cs.AI
keywords competitionproceedingsxcsp3augustconferenceconstraintdocumentfederated
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original 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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Proceedings of the 2024 XCSP3 Competition

    cs.AI 2024-11 conditional novelty 4.0 of 10

    The 2024 XCSP3 competition proceedings document the benchmark suite, solver descriptions, and final rankings across six constraint-solving tracks.

Pith tools