Search results for "empirical hardness"

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Luca Pulina, Armando Tacchella	Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings.	LPAR	2008	DBLP DOI BibTeX RDF
2	Kevin Leyton-Brown, Eugene Nudelman, Yoav Shoham	Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions.	CP	2002	DBLP BibTeX RDF
1	Kevin Leyton-Brown, Eugene Nudelman, Yoav Shoham	Empirical hardness models: Methodology and a case study on combinatorial auctions.	J. ACM	2009	DBLP DOI BibTeX RDF	Empirical analysis of algorithms, algorithm portfolios, runtime prediction, combinatorial auctions
1	Pablo Almajano, Jesús Cerquides, Juan A. Rodríguez-Aguilar	Empirical Hardness for Mixed Auctions.	CAEPIA	2009	DBLP DOI BibTeX RDF
1	Calin Anton, Lane Olson	Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism.	Canadian Conference on AI	2009	DBLP DOI BibTeX RDF
1	Luca Pulina, Armando Tacchella	Hard QBF Encodings Made Easy: Dream or Reality?	AI*IA	2009	DBLP DOI BibTeX RDF
1	Kate Smith-Miles	Cross-disciplinary perspectives on meta-learning for algorithm selection.	ACM Comput. Surv.	2008	DBLP DOI BibTeX RDF	dataset characterization, empirical hardness, landscape analysis, classification, combinatorial optimization, sorting, constraint satisfaction, forecasting, model selection, meta-learning, Algorithm selection
1	Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown	: The Design and Analysis of an Algorithm Portfolio for SAT.	CP	2007	DBLP DOI BibTeX RDF
1	Lin Xu, Holger H. Hoos, Kevin Leyton-Brown	Hierarchical Hardness Models for SAT.	CP	2007	DBLP DOI BibTeX RDF
1	Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown	Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms.	CP	2006	DBLP DOI BibTeX RDF
1	Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham	Understanding Random SAT: Beyond the Clauses-to-Variables Ratio.	CP	2004	DBLP DOI BibTeX RDF

Displaying result #1 - #11 of 11 (100 per page; Change: )