People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Feifei Ma, Jian Zhang : Paper#141: An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non ...
Feifei Ma, Jian Zhang : Paper#141: An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non ...
* Feifei Ma, Jian Zhang Using Cost Distributions to Guide Weight Decay in Local Search for SAT (L) * John Thornton, Duc Nghia Pham Probabilistic Nogood Store as a Heuristic (R)
Some Recent Publications of Jian Zhang. Feifei Ma, Sheng Liu, Jian Zhang. Volume Computation for Boolean Combination of Linear Arithmetic Constraints, Proc. CADE-22 ...
Dr. Zhongxing Xu and Dr. Feifei Ma from State Key Laboratry of Computer Science (Institute of Software, Chinese Academy of Sciences) visited our labrary and disscussed ...
Feifei Ma: Jian Zhang: maff ios.ac.cn : Baiqiang Chen: Jian Zhang: chenbq ios.ac.cn : Guihong Xu: Jian Zhang: xgh ios.ac.cn : Xiangxue Jia: Jian Zhang: jxx ios.ac.cn : Shaochun Wang
Linkedin
Motorola Mobile Devices (Public Company; Computer Software industry): SE, (2003-Present)