BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
2 × USA
2 × United Kingdom
Collaborated with:
A.Biere A.Balint G.Kovásznai U.Schöning T.Balyo M.Heule
Talks about:
sat (3) bit (3) vector (2) improv (2) new (2) implement (1) distribut (1) translat (1) stochast (1) quantifi (1)

Person: Andreas Fröhlich

DBLP DBLP: Fr=ouml=hlich:Andreas

Contributed to:

SAT 20152015
SAT 20142014
CADE 20132013
SMT 20122012
SAT 20102010

Wrote 6 papers:

Evaluating CDCL Variable Scoring Schemes (AB, AF), pp. 405–422.
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-2014-BalyoFHB #afraid to ask #set
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask) (TB, AF, MH, AB), pp. 317–332.
CADE-2013-KovasznaiFB #quantifier
: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into (GK, AF, AB), pp. 443–449.
SMT-2012-KovasznaiFB #complexity #logic #on the
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width (GK, AF, AB), pp. 44–56.
SAT-2010-BalintF #probability #satisfiability
Improving Stochastic Local Search for SAT with a New Probability Distribution (AB, AF), pp. 10–15.

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.