people.cs.uchicago.edupeople.cs.uchicago.edu/~pankratov/presentation2.pdfbenchmarks (max -sat 2007...
- Home
- Documents
- 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
27
Upload: others
Post on 08-Sep-2020
1 views