File:Naive sat 5.png

File
File history
File usage

Size of this preview: 800 × 401 pixels. Other resolution: 2,538 × 1,273 pixels.

Original file ‎(2,538 × 1,273 pixels, file size: 52 KB, MIME type: image/png)

Summary

Description	English: Fifth step of a naive approach to SAT
Date	7 March 2018(2018-03-07) (purge)
File source	Own Work
Author	CarlKwan

Licensing

I, the copyright holder of this work, hereby publish it under the following license:

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	19:13, 7 March 2018		2,538 × 1,273 (52 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