- Home
Documents
- people.cs.uchicago.edupeople.cs.uchicago.edu/~pankratov/presentation2.pdfBenchmarks (MAX -SAT 2007...
27
people.cs.uchicago.edupeople.cs.uchicago.edu/~pankratov/presentation2.pdfBenchmarks (MAX -SAT 2007 Eval) OLS NOLS TS NOLS SA MWS OLS 160 30 205 NOLS 457 50 261 741 720 152 189 453
-
Upload
others
-
View
3
-
Download
0
Embed Size (px)
Citation preview