Evidence for a satisfiability threshold for random 3CNF formulas /
Tracy Larrabee, Yumi Tsuji

Description

Tools

Cite this Export citation file
Main Author
Larrabee, Tracy
Related Names
Tsuji, Yumi
University of California, Santa Cruz. Computer Research Laboratory
Language(s)
English
Published
Santa Cruz, Calif. : University of California, Santa Cruz, Computer Research Laboratory, [1992]
Subjects
Boolean functions
Physical Description
9 p. : ill. ; 28 cm
Locate a Print Version
Find in a library

Viewability

Item Link Original Source
Limited (search only)   University of California