Skip to main content

An empirical study of random SAT

Resource type
Thesis
Thesis type
(Thesis) M.Sc.
Date created
1993
Authors/Contributors
Author: Mitchell, David G
Copyright statement
Copyright is held by the author.
Permissions
The author has not granted permission for the file to be printed nor for the text to be copied and pasted. If you would like a printable copy of this thesis, please contact summit-permissions@sfu.ca.
Scholarly level
Graduate student (Masters)
Subject
Automatic theorem proving.
Artificial intelligence.
Language
English
Member of collection
Computing Science Theses
Download file Size
b15198820.pdf 1.45 MB

Views & downloads - as of June 2023

Views: 0
Downloads: 0