Adrian Balint
Universität Ulm(DE)Institute of Theoretical Physics(CN)
Publications by Year
Research Areas
Constraint Satisfaction and Optimization, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Data Management and Algorithms, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break(2012)94 cited
- → Improving Stochastic Local Search for SAT with a New Probability Distribution(2010)86 cited
- → Captain Jack: New Variable Selection Heuristics in Local Search for SAT(2011)38 cited
- → Overview and analysis of the SAT Challenge 2012 solver competition(2015)35 cited
- Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions(2012)
- → A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem(2009)19 cited
- → Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses(2014)16 cited
- → EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms(2011)15 cited
- → Experiment design and administration for computer clusters for SAT-solvers (EDACC)(2010)11 cited
- → The Configurable SAT Solver Challenge (CSSC)(2016)8 cited