Travelled to:1 × USA
Collaborated with:S.Falkner F.Hutter H.Hoos T.Schaub
Talks about:claspfolio (1) algorithm (1) configur (1) program (1) perform (1) analysi (1) solver (1) select (1) answer (1) advanc (1)
Person: Marius Thomas Lindauer
DBLP: Lindauer:Marius_Thomas
Contributed to:
2015
2014Wrote 2 papers:
- SAT-2015-FalknerLH #analysis #automation #named #performance #satisfiability
- SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers (SF, MTL, FH), pp. 215–222.
- ICLP-J-2014-HoosLS #algorithm #programming #set
- claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (HH, MTL, TS), pp. 569–585.