Travelled to:1 × Austria
1 × USA
Collaborated with:V.Ganesh S.Fischmeister G.Audemard L.Simon W.Lindsay J.H.Liang K.Czarnecki
Talks about:sat (3) structur (2) solver (2) communiti (1) perform (1) formula (1) visual (1) impact (1) evolut (1) graf (1)
Person: Zack Newsham
DBLP: Newsham:Zack
Contributed to:
20152014Wrote 2 papers:
- SAT-2015-NewshamLGLFC #evolution #named #satisfiability #visualisation
- SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers (ZN, WL, VG, JHL, SF, KC), pp. 62–70.
- SAT-2014-NewshamGFAS #community #performance #satisfiability
- Impact of Community Structure on SAT Solver Performance (ZN, VG, SF, GA, LS), pp. 252–268.