Automatic construction of parallel portfolios via algorithm configuration

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

zbMATH Keywords

algorithm portfoliosalgorithm configurationautomated parallelizationparallel SAT solvingprogramming by optimization

Mathematics Subject Classification ID

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

• ManySAT
• March_eq
• MiniSat
• Paramils
• SATzilla
• Chaff
• Plingeling
• clasp
• PrecoSAT
• Glucose
• irace
• ppfolio
• pfolioUZK
• Treengeling
• SATenstein
• HordeSat
• satUZK
• Auto-WEKA
• SMAC
• aspeed
• Lingeling
• AClib

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