sign in · help · news · about ·

BibSonomy :: author :: Hoos ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(107)

<< < 1 | 2 | 3 > >>

Warped Landscapes and Random Acts of SAT Solving.
Dave A. D. Tompkins, and Holger H. Hoos ISAIM, (2004)
to dblp by dblp and 1 other user on Feb 9, 2012, 12:00 AM
URL | BibTeX
Programming by optimization.
Holger H. Hoos Commun. ACM 55(2):70-80 (2012)
to dblp by dblp on Feb 3, 2012, 12:00 AM
URL | BibTeX
Morphing: Combining Structure and Randomness.
Ian P. Gent, Holger H. Hoos, Patrick Prosser, and Toby Walsh AAAI/IAAI, page 654-660. AAAI Press / The MIT Press, (1999)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT.
Holger H. Hoos AAAI/IAAI, page 661-666. AAAI Press / The MIT Press, (1999)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
A Mixture-Model for the Behaviour of SLS Algorithms for SAT.
Holger H. Hoos AAAI/IAAI, page 661-667. AAAI Press / The MIT Press, (2002)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
An Adaptive Noise Mechanism for WalkSAT.
Holger H. Hoos AAAI/IAAI, page 655-660. AAAI Press / The MIT Press, (2002)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Evaluating Las Vegas Algorithms: Pitfalls and Remedies.
Holger H. Hoos, and Thomas Stützle UAI, page 238-245. Morgan Kaufmann, (1998)
to dblp by dblp on Dec 16, 2011, 12:00 AM
URL | BibTeX
Reasoning With Conditional Ceteris Paribus Preference Statements.
Craig Boutilier, Ronen I. Brafman, Holger H. Hoos, and David Poole UAI, page 71-80. Morgan Kaufmann, (1999)
to dblp by dblp and 2 other users on Dec 15, 2011, 12:00 AM
URL | BibTeX
SATzilla: Portfolio-based Algorithm Selection for SAT
Lin Xu, Frank Hutter, Holger H. Hoos, and Kevin Leyton-Brown CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Fixed-Parameter Tractability and Improved Approximations for Segment Minimization
Therese C. Biedl, Stephane Durocher, Holger H. Hoos, Shuang Luan, Jared Saia, and Maxwell Young CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Dynamic Local Search for the Maximum Clique Problem
Holger H. Hoos, and Wayne J. Pullan CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements
Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, and David Poole CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Sequential Model-Based Optimization for General Algorithm Configuration.
Frank Hutter, Holger H. Hoos, and Kevin Leyton-Brown LION, volume 6683 of Lecture Notes in Computer Science, page 507-523. Springer, (2011)
to dblp by dblp on Nov 16, 2011, 12:00 AM
URL | BibTeX
HAL: A Framework for the Automated Analysis and Design of High-Performance Algorithms.
Christopher Nell, Chris Fawcett, Holger H. Hoos, and Kevin Leyton-Brown LION, volume 6683 of Lecture Notes in Computer Science, page 600-615. Springer, (2011)
to dblp by dblp on Nov 16, 2011, 12:00 AM
URL | BibTeX
Stochastic local search - methods, models, applications.
Holger H. Hoos DISKI Infix, (1999)
to dblp by dblp on Aug 26, 2011, 12:00 AM
BibTeX
Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT.
Holger H. Hoos, Kevin Smyth, and Thomas Stützle PPSN, volume 3242 of Lecture Notes in Computer Science, page 51-60. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Understanding Random SAT: Beyond the Clauses-to-Variables Ratio.
Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, and Yoav Shoham CP, volume 3258 of Lecture Notes in Computer Science, page 438-452. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Tradeoffs in the empirical evaluation of competing algorithm designs.
Frank Hutter, Holger H. Hoos, and Kevin Leyton-Brown Ann. Math. Artif. Intell. 60(1-2):65-89 (2010)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT.
Dave A. D. Tompkins, and Holger H. Hoos Canadian Conference on AI, volume 2671 of Lecture Notes in Computer Science, page 145-159. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Iterated Robust Tabu Search for MAX-SAT.
Kevin Smyth, Holger H. Hoos, and Thomas Stützle Canadian Conference on AI, volume 2671 of Lecture Notes in Computer Science, page 129-144. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100