Return to search

Answer set programming : SAT based solver and phase transition /

Thesis (Ph.D.)--Hong Kong University of Science and Technology, 2003. / Includes bibliographical references (leaves 104-112). Also available in electronic version. Access restricted to campus users.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/54463120
Date January 2003
CreatorsZhao, Yuting.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceView abstract or full-text.

Page generated in 0.0024 seconds