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: Fr=ouml=hlich:Andreas
Contributed to:
20152014
2013
20122010Wrote 6 papers:
- SAT-2015-BiereF
- 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.