10 0 Round trip through Mathematica's FullSimplify ( 2022-04-26 13:37:30 +0200 )
15 0 Lovasz number ( 2012-08-28 13:45:17 +0200 )
10 0 Lovasz number ( 2012-05-03 12:09:44 +0200 )
10 0 Round trip through Mathematica's FullSimplify ( 2011-01-07 09:27:58 +0200 )
10 0 Round trip through Mathematica's FullSimplify ( 2011-01-07 09:27:57 +0200 )
0 -10 Round trip through Mathematica's FullSimplify ( 2011-01-07 09:27:57 +0200 )