Bibliography: www2018 (Summary)

Score
SchusterF160.0
BjornsonTG100.0
MeyerovichGBCGBK090.0
HarkesGV160.0
Chlipala150.0
FowlerDG150.0
HogerZ130.0
ReyndersDP170.0
HarkesV170.0
CzaplickiC130.0
HemelV110.0
SalvaneschiHM140.0
DemaineMRW090.0
HarkesV17-00.0
runs on