Reports on the 2015 aaai workshop program
… 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 …
and configuration at AAAI-13. … The papers of this workshop were published as AAAI Press …
[HTML][HTML] Aslib: A benchmark library for algorithm selection
… ) 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 …
MAXSAT Evaluation. With 29 … classification applies a multi-class classifier to directly predict …
The IBaCoP planning system: Instance-based configured portfolios
… 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 …
function we ignore the class, and only … See all the results of the regression models in the Table 15 …
Algorithms with prediction portfolios
… 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 …
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
… 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 …
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
… 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 …
provides heuristic tuning mechanism [15]. … This paper presents a communication management …
The stochastic matching problem: Beating half with a non-adaptive algorithm
… 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. …
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∗
… 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, …
other configurations. … AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, …
WeGotYouCovered: the winning solver from the PACE 2019 implementation challenge, vertex cover track
… 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, …
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 …
important measure in determining diversity is the distance between plans. In this … Problem Setup …