Author Info
Name
Affiliation
Papers
PEI HUANG
Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China
6
Collaborators
Citations 
PageRank 
17
0
2.03
Referers 
Referees 
References 
0
62
21
Title
Citations
PageRank
Year
ε-weakened Robustness of Deep Neural Networks00.342022
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S500.342021
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks.00.342020
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring.00.342019
Approximating Integer Solution Counting via Space Quantification for Linear Constraints.00.342019
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.00.342018