First page we are just changing -N(b1b2b3) to N(b1 - b1b2 -b1b3). what quadratization is that?
Mar 27, 2019 by
Clean up connections between: Strandmark, GBP and ABCG
Feb 12, 2019 by
0 of 2
4-local with no auxiliaries:https://arxiv.org/pdf/1811.07683.pdf
Jan 21, 2019 by
Perhaps change PTR to GTR (general term reduction) or ATR (any term reduction).
Jan 20, 2019 by
MATLAB code to verify 9 of the Part III gadgets ( NP-SJ by both people, 4 other methods per person)
Jan 16, 2019 by
Things to fix from PDF in Elisabeth's first email to Nike
Jan 13, 2019 by
0 of 8
ProTip! no:milestone will show everything without a milestone.