Automatic construction of parallel portfolios via algorithm configuration
From MaRDI portal
Publication:511786
DOI10.1016/j.artint.2016.05.004zbMath1404.68144OpenAlexW2398436144WikidataQ59585836 ScholiaQ59585836MaRDI QIDQ511786
Torsten Schaub, Holger H. Hoos, Marius Lindauer, Kevin Leyton-Brown
Publication date: 22 February 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1887/58569
algorithm portfoliosalgorithm configurationautomated parallelizationparallel SAT solvingprogramming by optimization
Parallel algorithms in computer science (68W10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) General topics in the theory of algorithms (68W01)
Related Items
A review of literature on parallel constraint solving, Paracoherent answer set computation, How we designed winning algorithms for abstract argumentation and which insight we attained, The algorithm selection competitions 2015 and 2017
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings
- Principles and practice of constraint programming. 18th international conference, CP 2012, Québec City, QC, Canada, October 8--12, 2012. Proceedings
- Learning dynamic algorithm portfolios
- SATenstein: automatically building local search SAT solvers from components
- Learning parallel portfolios of algorithms
- Captain Jack: New Variable Selection Heuristics in Local Search for SAT
- HordeSat: A Massively Parallel Portfolio SAT Solver
- ParamILS: An Automatic Algorithm Configuration Framework
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Multi-threaded ASP solving with clasp
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Algorithm portfolios