Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
aito interactive
Daniel P. Kennedy
Abhishek Dubey
Barbara Aquilani
Ashley Montanaro
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
ADRIAN BALINT
Author Info
Open Visualization
Name
Affiliation
Papers
ADRIAN BALINT
Institute of Theoretical Computer Science, Ulm University, Ulm, Germany 89069
9
Collaborators
Citations
PageRank
21
131
6.46
Referers
Referees
References
198
243
193
Search Limit
100
243
Publications (9 rows)
Collaborators (21 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Overview and analysis of the SAT Challenge 2012 solver competition
11
0.66
2015
The Configurable SAT Solver Challenge (CSSC)
10
0.59
2015
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses.
5
0.43
2014
Choosing probability distributions for stochastic local search and the role of make versus break
28
1.02
2012
EDACC - an advanced platform for the experiment design, administration and analysis of empirical algorithms
9
0.58
2011
Captain Jack: new variable selection heuristics in local search for SAT
24
0.92
2011
Experiment design and administration for computer clusters for SAT-solvers (EDACC)
8
0.70
2010
Improving stochastic local search for SAT with a new probability distribution
26
0.96
2010
A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem
10
0.60
2009
1