Domagoj Babic
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 Domagoj Babic trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Domagoj Babic overall
Papers from Domagoj Babic's perspective
Ordered by how strongly the researchers Domagoj Babic 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
- Automatic Algorithm Configuration Based on Local Search (AAAI Conference on Artificial Intelligence)
- Iterated Local Search (Handbook of Metaheuristics)
- A machine program for theorem-proving (CACM)
- ImageNet classification with deep convolutional neural networks
- Learning Multiple Layers of Features from Tiny Images
Their papers
- Boosting Verification by Automatic Tuning of Decision Procedures (2007) — 165 citations