English
Related papers

Related papers: Core Challenge 2023: Solver and Graph Descriptions

200 papers

This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2022.

Artificial Intelligence · Computer Science 2022-08-05 Takehide Soh , Yoshio Okamoto , Takehiro Ito

This document represents the proceedings of the 2025 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'25 (31st International Conference on Principles and Practice of Constraint Programming).

Artificial Intelligence · Computer Science 2025-11-11 Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca

This document represents the proceedings of the 2024 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'24 (30th International Conference on Principles and Practice of Constraint Programming).

Artificial Intelligence · Computer Science 2024-12-03 Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca

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,…

Artificial Intelligence · Computer Science 2023-12-12 Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca

This is a survey of the exciting recent progress made in understanding the complexity of distributed subgraph finding problems. It overviews the results and techniques for assorted variants of subgraph finding problems in various models of…

Data Structures and Algorithms · Computer Science 2025-08-28 Keren Censor-Hillel

In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us to represent constraint satisfaction/optimization problems. The interest of XCSP3-core is multiple: (i) focusing on the most popular frameworks (CSP and COP) and…

Artificial Intelligence · Computer Science 2024-08-30 Frédéric Boussemart , Christophe Lecoutre , Gilles Audemard , Cédric Piette

This paper reports on the details of the International Competition on Graph Counting Algorithms (ICGCA) held in 2023. The graph counting problem is to count the subgraphs satisfying specified constraints on a given graph. The problem…

Data Structures and Algorithms · Computer Science 2023-09-15 Takeru Inoue , Norihito Yasuda , Hidetomo Nabeshima , Masaaki Nishino , Shuhei Denzumi , Shin-ichi Minato

The ActivityNet Large Scale Activity Recognition Challenge 2017 Summary: results and challenge participants papers.

Computer Vision and Pattern Recognition · Computer Science 2017-10-24 Bernard Ghanem , Juan Carlos Niebles , Cees Snoek , Fabian Caba Heilbron , Humam Alwassel , Ranjay Khrisna , Victor Escorcia , Kenji Hata , Shyamal Buch

Recent studies have explored graph-based approaches to retrieval-augmented generation, leveraging structured or semi-structured information -- such as entities and their relations extracted from documents -- to enhance retrieval. However,…

Computation and Language · Computer Science 2025-07-24 Zhili Shen , Chenxin Diao , Pascual Merita , Pavlos Vougiouklis , Jeff Z. Pan

This paper presents the computational challenge on differential geometry and topology that happened within the ICLR 2021 workshop "Geometric and Topological Representation Learning". The competition asked participants to provide creative…

This paper describes the Grid Optimization (GO) Competition Challenge 3, focusing on the problem motivation, formulation, solvers submitted by competition entrants, and analysis of the solutions produced. Funded by DOE/ARPA-E and led by a…

Numerical Analysis · Mathematics 2024-11-20 Jesse T. Holzer , Stephen Elbert , Hans Mittelmann , Richard O'Neill , HyungSeon Oh

We organize a competition on hierarchical text detection and recognition. The competition is aimed to promote research into deep learning models and systems that can jointly perform text detection and recognition and geometric layout…

Computer Vision and Pattern Recognition · Computer Science 2023-05-18 Shangbang Long , Siyang Qin , Dmitry Panteleev , Alessandro Bissacco , Yasuhisa Fujii , Michalis Raptis

This is the arXiv index for the electronic proceedings of GD 2023, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture…

Computational Geometry · Computer Science 2023-09-15 Michael A. Bekos , Markus Chimani

Graph is a well known data structure to represent the associated relationships in a variety of applications, e.g., data science and machine learning. Despite a wealth of existing efforts on developing graph processing systems for improving…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-28 Chuangyi Gui , Long Zheng , Bingsheng He , Cheng Liu , Xinyu Chen , Xiaofei Liao , Hai Jin

The rise of graph analytic systems has created a need for ways to measure and compare the capabilities of these systems. Graph analytics present unique scalability difficulties. The machine learning, high performance computing, and visual…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-07 Siddharth Samsi , Vijay Gadepally , Michael Hurley , Michael Jones , Edward Kao , Sanjeev Mohindra , Paul Monticciolo , Albert Reuther , Steven Smith , William Song , Diane Staheli , Jeremy Kepner

This paper describes the winning solutions of all tasks in Meta KDD Cup 24 from db3 team. The challenge is to build a RAG system from web sources and knowledge graphs. We are given multiple sources for each query to help us answer the…

Information Retrieval · Computer Science 2024-10-02 Yikuan Xia , Jiazun Chen , Jun Gao

In this report, we introduce NICE (New frontiers for zero-shot Image Captioning Evaluation) project and share the results and outcomes of 2023 challenge. This project is designed to challenge the computer vision community to develop robust…

This document is an exposition of an assortment of open problems arising from the exact enumeration of (perfect) matchings of finite graphs. Roughly half have been solved at the time of this writing; see the document "Twenty Open Problems…

Combinatorics · Mathematics 2007-05-23 James Propp

CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in…

Logic in Computer Science · Computer Science 2024-04-24 Emanuele De Angelis , Hari Govind V K

This collection of problems and conjectures is based on a subset of the open problems from the seminar series and the problem sessions of the Institut Mitag-Leffler programme Graphs, Hypergraphs, and Computing. Each problem contributor has…

Combinatorics · Mathematics 2015-11-23 Klas Markström
‹ Prev 1 2 3 10 Next ›