Travelled to:1 × Austria
1 × USA
Collaborated with:P.Sanders C.Sinz A.Fröhlich M.Heule A.Biere
Talks about:sat (2) portfolio (1) parallel (1) everyth (1) solver (1) massiv (1) afraid (1) block (1) alway (1) about (1)
Person: Tomas Balyo
DBLP: Balyo:Tomas
Contributed to:
20152014Wrote 2 papers:
- SAT-2015-BalyoSS #named #parallel #satisfiability
- HordeSat: A Massively Parallel Portfolio SAT Solver (TB, PS, CS), pp. 156–172.
- 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.