Original languageUndefined/Unknown
Title of host publicationProceedings of Guangzhou Symposium on Satisfiability in Logic Based Modeling
Editors s.n.
Place of PublicationGuangzhou, China
PublisherSun-Yat-sen University
Pages82-90
Number of pages9
Publication statusPublished - 2006
EventGuangzhou Symposium on Satisfiability in Logic Based Modeling - Guangzhou, China
Duration: 24 Sep 200627 Sep 2006

Publication series

Name
PublisherSun-Yat-sen University

Conference

ConferenceGuangzhou Symposium on Satisfiability in Logic Based Modeling
Period24/09/0627/09/06

    Research areas

  • Conf.proc. > 3 pag

ID: 2825905