BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Italy
1 × USA
2 × United Kingdom
Collaborated with:
A.Fröhlich U.Schöning D.A.D.Tompkins H.H.Hoos M.Henn O.Gableske A.Biere
Talks about:
sat (4) search (3) local (3) new (3) distribut (2) stochast (2) probabl (2) heurist (2) solver (2) improv (2)

Person: Adrian Balint

DBLP DBLP: Balint:Adrian

Contributed to:

SAT 20142014
SAT 20122012
SAT 20112011
SAT 20102010
SAT 20092009

Wrote 5 papers:

SAT-2014-BalintBFS #heuristic #implementation #satisfiability
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses (AB, AB, AF, US), pp. 302–316.
SAT-2012-BalintS #probability
Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break (AB, US), pp. 16–29.
SAT-2011-TompkinsBH #heuristic #satisfiability
Captain Jack: New Variable Selection Heuristics in Local Search for SAT (DADT, AB, HHH), pp. 302–316.
SAT-2010-BalintF #probability #satisfiability
Improving Stochastic Local Search for SAT with a New Probability Distribution (AB, AF), pp. 10–15.
SAT-2009-BalintHG #approach #novel #problem #satisfiability
A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem (AB, MH, OG), pp. 284–297.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.