Hongzhen Zhong | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Jia Li
149 publications
Hai Wan
17 publications
Weilin Luo
7 publications
Zhanhao Xiao
6 publications
Yin Chen
4 publications
Biqing Fang
4 publications
Xiaotong Song
1 publication
Binhao Yang
1 publication
Ou Wei
1 publication

research

∙ 03/03/2021

How to Identify Boundary Conditions with Contrasty Metric?

The boundary conditions (BCs) have shown great potential in requirements...

0 Weilin Luo, et al. ∙

research

∙ 02/23/2021

Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification

In goal-oriented requirements engineering, goal conflict identification ...

0 Hongzhen Zhong, et al. ∙

research

∙ 06/07/2019

CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae

Prime compilation, i.e., the generation of all prime implicates or impli...

0 Weilin Luo, et al. ∙