Adrian Balint
According to our database1,
Adrian Balint
authored at least 12 papers
between 2009 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
2015
2016
2017
0
1
2
3
1
1
1
1
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
2016
Proceedings of the Algorithm Engineering - Selected Results and Surveys, 2016
2015
Artif. Intell., 2015
2014
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
2013
Proceedings of the POS-13. Fourth Pragmatics of SAT workshop, 2013
2012
Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms.
Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011
2010
J. Satisf. Boolean Model. Comput., 2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009