Jian Zhang

A Laboratory for Basic Research in Computer Science and Software Engineering

E. Wu, Wenhui Zhang, Hongan Wang, 2009 .

GRACE TECHNICAL REPORTS Proceedings of the Sixth Asian Workshop on Foundations of Software

Jian Zhang, Zhenjiang Hu, Zhenjiang Hu, 2009 .

Extending Finite Model Searching with Congruence Closure Computation

Hantao Zhang, Jian Zhang, Hantao Zhang, 2004, AISC.

MACE4 and SEM: A Comparison of Finite Model Generators

Hantao Zhang, Jian Zhang, Hantao Zhang, 2013, Automated Reasoning and Mathematics.

Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection

Jian Zhang, Xingming Wu, Lian Li, 2017, 2017 24th Asia-Pacific Software Engineering Conference (APSEC).

Combining Local Search and Backtracking Techniques for Constraint Satisfaction

Hantao Zhang, Jian Zhang, Hantao Zhang, 1996, AAAI/IAAI, Vol. 1.

Basic research in computer science and software engineering at SKLCS

Yongji Wang, Enhua Wu, Hongan Wang, 2008, Frontiers of Computer Science in China.

System Description: Generating Models by SEM

Hantao Zhang, Jian Zhang, Hantao Zhang, 1996, CADE.

SEM: a System for Enumerating Models

Hantao Zhang, Jian Zhang, Hantao Zhang, 1995, IJCAI.