Reports on the 2015 aaai workshop program

SV Albrecht, JC Beck, DL Buckeridge, A Botea… - Ai Magazine, 2015 - ojs.aaai.org
… The AAAI-15 workshop program included 16 workshops … tutorial on algorithm selection
and configuration at AAAI-13. … The papers of this workshop were published as AAAI Press …

[HTML][HTML] Aslib: A benchmark library for algorithm selection

B Bischl, P Kerschke, L Kotthoff, M Lindauer… - Artificial Intelligence, 2016 - Elsevier
… ) sets of algorithms, algorithm configuration operates on the … problems from the 2015
MAXSAT Evaluation. With 29 … classification applies a multi-class classifier to directly predict …

The IBaCoP planning system: Instance-based configured portfolios

I Cenamor, T De La Rosa, F Fernández - Journal of Artificial Intelligence …, 2016 - jair.org
Algorithm 1: Algorithm for configuring the portfolio for a particular … From the result of the
function we ignore the class, and only … See all the results of the regression models in the Table 15

Algorithms with prediction portfolios

M Dinitz, S Im, T Lavastida… - Advances in neural …, 2022 - proceedings.neurips.cc
… selection during the course of the algorithm, and sometimes … -based algorithm selection) that
are most similar to our setting. … , 37, 39], and set cover [15]. There has also been recent work …

Coresets meet EDCS: algorithms for matching and vertex cover on massive graphs

S Assadi, MH Bateni, A Bernstein, V Mirrokni… - … on Discrete Algorithms, 2019 - SIAM
… 22] but uses it in an entirely different setting, … algorithm on each machine. Instead, we rely
on structural properties of the EDCS that we prove in this paper, independent of the algorithms

Managed communication and consistency for fast data-parallel iterative analytics

J Wei, W Dai, A Qiao, Q Ho, H Cui, GR Ganger… - Proceedings of the …, 2015 - dl.acm.org
… ML algorithms, originally designed for sequential settings, to … by the users [26], while some
provides heuristic tuning mechanism [15]. … This paper presents a communication management …

The stochastic matching problem: Beating half with a non-adaptive algorithm

S Assadi, S Khanna, Y Li - … the 2017 ACM Conference on Economics and …, 2017 - dl.acm.org
… the stochastic setting where for an … paper, we refer to this algorithm as MatchingCover. In
the following lemma, we summarize the properties of MatchingCover that we use in this paper. …

WeGotYouCovered: The Winning Solver from the PACE 2019 Challenge, Vertex Cover Track∗

D Hespe, S Lamm, C Schulz, D Strash - … proceedings of the SIAM workshop …, 2020 - SIAM
… full algorithm FullA solves 82 of the 100 instances and, as expected, dominates each of the
other configurations. … AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, …

WeGotYouCovered: the winning solver from the PACE 2019 implementation challenge, vertex cover track

D Hespe, S Lamm, C Schulz, D Strash - arXiv preprint arXiv:1908.06795, 2019 - arxiv.org
… full algorithm FullA solves 82 of the 100 instances and, as expected, dominates each of the
other configurations. … AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, …

A combinatorial search perspective on diverse solution generation

SG Vadlamudi, S Kambhampati - Proceedings of the AAAI Conference …, 2016 - ojs.aaai.org
… , we address this problem in depth by proposing complete algorithms which … 2015). An
important measure in determining diversity is the distance between plans. In this … Problem Setup