Return to search

Automating pseudo-Boolean inference within a DPLL framework /

Thesis (Ph. D.)--University of Oregon, 2004. / Typescript. Includes vita and abstract. Includes bibliographical references (leaves 140-146). Also available for download via the World Wide Web; free to University of Oregon users.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/60407410
Date January 2004
CreatorsDixon, Heidi,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
Sourceview abstract or download file of text

Page generated in 0.0022 seconds