Probabilistic Analysis of a Generalization of the Unit Clause Literal Selection Heuristic for the 3-Satisfiability Problem

Simple item page
dc.contributor.authorChao, Ming-Te; Franco, John
dc.date.accessioned2025-10-21T17:37:50Z
dc.date.available2025-10-21T17:37:50Z
dc.date.issued1985-01
dc.identifier.urihttps://hdl.handle.net/2022/33964
dc.relation.ispartofseriesIndiana University Computer Science Technical Reports; TR165
dc.rightsThis work is protected by copyright unless stated otherwise.
dc.rights.uri
dc.titleProbabilistic Analysis of a Generalization of the Unit Clause Literal Selection Heuristic for the 3-Satisfiability Problem

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR165.pdf
Size:
5.02 MB
Format:
Adobe Portable Document Format
Download

Collections

Technical Reports
Can’t use the file because of accessibility barriers? Contact us