“…Participants in the HPN-DREAM network inference challenge ( Hill et al, 2016 ) inferred signaling networks from time series data for tens of phosphoproteins, but the top methods either did not scale to our dataset (PropheticGranger; Carlin et al, 2017 ) or did not perform well (FunChisq; Zhang and Song, 2013 ). Other algorithms that integrate temporal information with PPI networks ( Budak et al, 2015 ; Gitter and Bar-Joseph, 2013 ; Jain et al, 2016 ; Norman and Cicek, 2018 ; Patil et al, 2013 ) do not evaluate and summarize all pathway models that are supported by the network and phosphorylation timing constraints. This summarization strategy is what enables TPS to scale to solution spaces ( Figure S6 ) that are substantially larger than those typically considered by declarative computational approaches ( Chasman et al, 2014 ; Dunn et al, 2014 ; Guziolowski et al, 2013 ; Kӧksal et al, 2013 ; Moignard et al, 2015 ; Sharan and Karp, 2013 ).…”