claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

7 May 2014

Holger Hoos

Papers citing "claspfolio 2: Advances in Algorithm Selection for Answer Set Programming"

26 / 26 papers shown

Title
Frugal Algorithm Selection Erdem Kus Ozgur Akgun Nguyen Dang Ian Miguel 35 0 0 17 May 2024
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics Daniel Bresnahan Nicholas Hippen Yuliya Lierler 27 0 0 29 Mar 2023
Revisit the Algorithm Selection Problem for TSP with Spatial Information Enhanced Graph Neural Networks Yaobo Song Laurens Bliek Yingqian Zhang 87 1 0 08 Feb 2023
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming Richard Comploi-Taupe G. Friedrich Konstantin Schekotihin A. Weinzierl 49 2 0 19 Sep 2022
Efficient lifting of symmetry breaking constraints for complex combinatorial problems Alice Tarzariol Martin Gebser Mark Law Konstantin Schekotihin 63 2 0 14 May 2022
On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro Marco Maratea Mauro Vallati 64 1 0 02 Mar 2022
Parallel Logic Programming: A Sequel A. Dovier Andrea Formisano G. Gupta M. Hermenegildo Enrico Pontelli Ricardo Rocha LRM 46 10 0 22 Nov 2021
Benchmarking Feature-based Algorithm Selection Systems for Black-box Numerical Optimization Ryoji Tanabe 72 15 0 17 Sep 2021
Instance Space Analysis for the Car Sequencing Problem Yuan Sun Samuel Esler D. Thiruvady Andreas T. Ernst Xiaodong Li K. Morgan 34 3 0 18 Dec 2020
Automated Aggregator -- Rewriting with the Counting Aggregate Michael Dingess M. Truszczynski 36 1 0 22 Sep 2020
sunny-as2: Enhancing SUNNY for Algorithm Selection Tong Liu R. Amadini J. Mauro M. Gabbrielli 29 6 0 07 Sep 2020
Research Report on Automatic Synthesis of Local Search Neighborhood Operators M. Slazynski 17 0 0 18 Sep 2019
Encoding Selection for Solving Hamiltonian Cycle Problems with ASP Liu Liu M. Truszczynski 21 4 0 18 Sep 2019
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP Richard Comploi-Taupe Konstantin Schekotihin P. Schüller A. Weinzierl G. Friedrich 16 4 0 18 Sep 2019
Automated Algorithm Selection: Survey and Perspectives P. Kerschke Holger H. Hoos Frank Neumann Heike Trautmann 77 384 0 28 Nov 2018
The Algorithm Selection Competitions 2015 and 2017 Marius Lindauer Jan N. van Rijn Lars Kotthoff 73 38 0 03 May 2018
Neural Networks for Predicting Algorithm Runtime Distributions Katharina Eggensperger Marius Lindauer Frank Hutter 46 10 0 22 Sep 2017
Warmstarting of Model-based Algorithm Configuration Marius Lindauer Frank Hutter 91 62 0 14 Sep 2017
Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates Katharina Eggensperger Marius Lindauer Holger H. Hoos Frank Hutter Kevin Leyton-Brown 56 7 0 30 Mar 2017
Experience-based Optimization: A Coevolutionary Approach Shengcai Liu K. Tang Xin Yao OffRL 58 4 0 29 Mar 2017
A case study of algorithm selection for the traveling thief problem Markus Wagner Marius Lindauer Mustafa Misir Samadhi Nallaperuma Frank Hutter 71 66 0 02 Sep 2016
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper) Carmine Dodaro Philip Gasteiger Nicola Leone Benjamin Musitsch Francesco Ricca Konstantin Schekotihin 49 53 0 02 Aug 2016
ICON Challenge on Algorithm Selection Lars Kotthoff 47 20 0 12 Nov 2015
ASlib: A Benchmark Library for Algorithm Selection B. Bischl P. Kerschke Lars Kotthoff Marius Lindauer Y. Malitsky ... Holger Hoos Frank Hutter Kevin Leyton-Brown Kevin Tierney Joaquin Vanschoren 100 221 0 08 Jun 2015
A Multicore Tool for Constraint Solving R. Amadini M. Gabbrielli J. Mauro 77 42 0 13 Feb 2015
Algorithm Selection for Combinatorial Search Problems: A Survey Lars Kotthoff 123 373 0 30 Oct 2012