Satisfiability testing with more reasoning and less guessing /
Allen Van Gelder, Yumi K. Tsuji

Description

Tools

Cite this Export citation file
Main Author
Van Gelder, Allen
Related Names
Tsuji, Yumi
University of California, Santa Cruz. Computer Research Laboratory
Language(s)
English
Published
Santa Cruz, CA (Applied Sciences Bldg., University of California, Santa Cruz, Santa Cruz 95064) : Computer Research Laboratory, [University of California, Santa Cruz, 1995]
Subjects
Reasoning
Mathematics > Formulae > Computer simulation
Computer algorithms
Physical Description
24 p. : ill. ; 28 cm
Locate a Print Version
Find in a library

Viewability

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