Pith. sign in

REVIEW 1 cited by

Proceedings of the 2023 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 2312.05877 v1 pith:YVEDESFT submitted 2023-12-10 cs.AI

Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca This is my paper · ORCID
classification cs.AI
keywords competitionconstraintproceedingsxcsp3augustcanadaconferencedocument
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 2023 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'23 (the 29th International Conference on Principles and Practice of Constraint Programming, held in Toronto, Canada from 27th to 31th August, 2023).

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