The SAT problem a survey of heuristic approaches and a presentation of the INCSAT algorithm

Thesis

Open access

Andrew Francis Harbison

Master of Science (M.S.), Drexel University

1998

DOI:

https://doi.org/10.17918/00009623

Files and links (1)

pdf

Harbison_Andrew_199861.50 MBDownload View

5 File views/ downloads

10 Record Views

Title: The SAT problem a survey of heuristic approaches and a presentation of the INCSAT algorithm
Creators: Andrew Francis Harbison
Awarding Institution: Drexel University
Degree Awarded: Master of Science (M.S.)
Publisher: Drexel University; Philadelphia, Pennsylvania
Number of pages: v, 52, a-1-a-42 pages
Resource Type: Thesis
Language: English
Academic Unit: Drexel University
Other Identifier: 991021888755104721