AI Chat AI Image Generator AI Video Text to Speech

Core Challenge 2022: Solver and Graph Descriptions

08/04/2022

∙

by Takehide Soh, et al.

∙

∙

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

Takehide Soh
4 publications
Yoshio Okamoto
18 publications
Takehiro Ito
25 publications

research

∙ 11/24/2022

Using Natural Language Processing to Predict Costume Core Vocabulary of Historical Artifacts

Historic dress artifacts are a valuable source for human studies. In par...

0 Madhuvanti Muralikrishnan, et al. ∙

research

∙ 07/20/2023

Bounded Combinatorial Reconfiguration with Answer Set Programming

We develop an approach called bounded combinatorial reconfiguration for ...

0 Yuya Yamada, et al. ∙

research

∙ 11/29/2017

SyGuS Techniques in the Core of an SMT Solver

We give an overview of recent techniques for implementing syntax-guided ...

0 Andrew Reynolds, et al. ∙

research

∙ 10/24/2019

Preventing Adversarial Use of Datasets through Fair Core-Set Construction

We propose improving the privacy properties of a dataset by publishing o...

0 Benjamin Spector, et al. ∙

research

∙ 02/13/2023

Engineering a Preprocessor for Symmetry Detection

State-of-the-art solvers for symmetry detection in combinatorial objects...

0 Markus Anders, et al. ∙

research

∙ 03/29/2017

Experience-based Optimization: A Coevolutionary Approach

This paper studies improving solvers based on their past solving experie...

0 Shengcai Liu, et al. ∙

research

∙ 11/01/2021

Mixed-Integer Programming for the ROADEF/EURO 2020 challenge

The ROADEF 2020 challenge presents a maintenance scheduling problem from...

0 Gabriel Gouvine, et al. ∙