ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
39
views
15
references
Top references
cited by
8
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,254
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Theory and Applications of Satisfiability Testing – SAT 2012
Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors
other
Author(s):
Lin Xu
,
Frank Hutter
,
Holger Hoos
,
Kevin Leyton-Brown
Publication date
(Print):
2012
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH doi match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Value-based Healthcare
Most cited references
15
Record
: found
Abstract
: not found
Book Chapter
: not found
The Algorithm Selection Problem
John R. Rice
(1976)
0
comments
Cited
123
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Cross-disciplinary perspectives on meta-learning for algorithm selection
Kate Smith-Miles
(2008)
0
comments
Cited
56
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Algorithm portfolios
Carla Gomes
,
Bart Selman
(2001)
0
comments
Cited
54
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2012
Pages
: 228-241
DOI:
10.1007/978-3-642-31612-8_18
SO-VID:
8beef6e9-3988-4340-9ba9-89980480865a
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Understanding IC3
pp. 16
Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break
pp. 143
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem
pp. 228
Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors
pp. 242
Efficient SAT Solving under Assumptions
pp. 410
The Community Structure of SAT Formulas
pp. 430
Resolution-Based Certificate Extraction for QBF
pp. 442
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox
Similar content
4,254
Fixed-point fluid–structure interaction solvers with dynamic relaxation
Authors:
Ulrich Küttler
,
Wolfgang Wall
PROTEUS: A coupled iterative force-correction immersed-boundary multi-domain cascaded lattice Boltzmann solver
Authors:
E.J. Falagkaris
,
D.M. Ingram
,
I.M. Viola
…
Boltzmann Equation Solver Adapted to Emergent Chemical Non-equilibrium
Authors:
,
,
See all similar
Cited by
8
Evaluating QBF Solvers: Quantifier Alternations Matter
Authors:
Florian Lonsing
,
Uwe Egly
Algorithm Runtime Prediction: Methods & Evaluation
Authors:
Lin Xu
,
Holger Hoos
,
Kevin Leyton-Brown
…
Algorithm Selection for Combinatorial Search Problems: A Survey
Authors:
Lars Kotthoff
See all cited by