Alan J. Hu
2007
A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 6 researchers here, as inferred from the citation graph.
Whom Alan J. Hu trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Alan J. Hu overall
Papers from Alan J. Hu's perspective
Ordered by how strongly the researchers Alan J. Hu trusts endorse each paper. Same corpus, a different order for every researcher.
- Stochastic Local Search: Foundations & Applications
- Introduction to stochastic search and optimization - estimation, simulation, and control
- An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
- Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
- A Racing Algorithm for Configuring Metaheuristics
- Iterated Local Search (Handbook of Metaheuristics)
- Automatic Algorithm Configuration Based on Local Search (AAAI Conference on Artificial Intelligence)
- A machine program for theorem-proving (CACM)
- ImageNet classification with deep convolutional neural networks
- The Traveling Salesman Problem: A Computational Study
Their papers
- Boosting Verification by Automatic Tuning of Decision Procedures (2007) — 165 citations