Search results for: Zhao, Xishun

Showing 1 - 2 results of 2 Refine Results
  1. 1

    Theory and applications of satisfiability testing--SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings

    Published: Springer, 2008
    Other Authors:
    Springer English/International eBooks 2008 - Full Set: 2008 (Springer Link)
    Electronic Conference Proceeding eBook
  2. 2

    Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013

    Published: World Scientific, 2015
    Other Authors: “…Zhao, Xishun…”
    Physical Description: x, 242 pages : illustrations ; 24 cm
    Conference Proceeding Book