File:Solving.png

File
File history
File usage

Size of this preview: 612 × 600 pixels. Other resolution: 1,658 × 1,625 pixels.

Original file ‎(1,658 × 1,625 pixels, file size: 366 KB, MIME type: image/png)

Summary

Description	English: A visual history of SAT solving and applications
Date	15 March 2018(2018-03-15) (purge)
File source
Author	Sergey Vartanov

Licensing

Permission is granted to copy, distribute and/or modify this document according to the terms in Creative Commons License, Attribution-ShareAlike 3.0. The full text of this license may be found here: CC by-sa 3.0

File history

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	01:11, 16 March 2018		1,658 × 1,625 (366 KB)	CarlKwan (talk \| contribs)	User created page with UploadWizard

You cannot overwrite this file.

File usage

The following page uses this file:

Course:CPSC522/Conflict-Driven Clause Learning for the Boolean Satisfiability Problem