File:CDCL Performance.png
Size of this preview: 460 × 600 pixels. Other resolution: 810 × 1,056 pixels.
Original file (810 × 1,056 pixels, file size: 173 KB, MIME type: image/png)
Summary
Description | English: Summary of CDCL performance on certain DIMACS test suites |
Date | 15 March 2018( ) |
File source | http://cse-wiki.unl.edu/wiki/images/0/06/Using_CSP_Look-Back_Techniques_to_Solve_Real-World_SAT_Instances.pdf |
Author | Roberto J. Bayardo Jr.; Robert C. Schrag |
Licensing
{{subst:uwl}}
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 16:19, 15 March 2018 | 810 × 1,056 (173 KB) | CarlKwan (talk | contribs) | User created page with UploadWizard |
You cannot overwrite this file.
File usage
The following page uses this file: