Jie-Hong R. Jiang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Quantifier elimination in stochastic Boolean satisfiability	2024-07-12	Paper
A resolution proof system for dependency stochastic Boolean satisfiability Journal of Automated Reasoning	2023-09-19	Paper
Homing Sequence Derivation With Quantified Boolean Satisfiability IEEE Transactions on Computers	2022-08-05	Paper
String Analysis via Automata Manipulation with Logic Circuit Representation Computer Aided Verification	2019-05-03	Paper
Towards Formal Evaluation and Verification of Probabilistic Design IEEE Transactions on Computers	2018-09-20	Paper
To SAT or Not to SAT: Scalable Exploration of Functional Dependency IEEE Transactions on Computers	2017-07-27	Paper
2QBF: challenges and solutions Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
QELL: QBF reasoning with extended clause learning and levelized SAT solving Lecture Notes in Computer Science	2015-11-20	Paper
QBF Resolution Systems and Their Proof Complexities Lecture Notes in Computer Science	2014-09-26	Paper
Unified QBF certification and its applications Formal Methods in System Design	2014-03-28	Paper
Henkin quantifiers and Boolean formulae: a certification perspective of DQBF Theoretical Computer Science	2014-02-04	Paper
Henkin quantifiers and Boolean formulae Theory and Applications of Satisfiability Testing – SAT 2012	2013-08-12	Paper
Hardware equivalence and property verification	2011-03-09	Paper
Quantifier Elimination via Functional Composition Computer Aided Verification	2009-06-30	Paper
Quantum mechanical search and harmonic perturbation Quantum Information Processing	2007-12-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper

Research outcomes over time

This page was built for person: Jie-Hong R. Jiang