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.
Date January 2003
CreatorsZhao, Yuting.
Source SetsOCLC
Detected LanguageEnglish
SourceView abstract or full-text.

Page generated in 0.0015 seconds