Jie-Hong R. Jiang

Available identifiers

zbMath Open jiang.jie-hong-rolandMaRDI QIDQ2435314

List of research outcomes

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

Research outcomes over time

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