The following pages link to Jie-Hong R. Jiang (Q2435314):
Displaying 16 items.
- Henkin quantifiers and Boolean formulae: a certification perspective of DQBF (Q2435315) (← links)
- Unified QBF certification and its applications (Q2441712) (← links)
- Quantum mechanical search and harmonic perturbation (Q2462665) (← links)
- 2QBF: Challenges and Solutions (Q2818033) (← links)
- Henkin Quantifiers and Boolean Formulae (Q2843328) (← links)
- (Q3081632) (← links)
- QBF Resolution Systems and Their Proof Complexities (Q3192061) (← links)
- QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving (Q3453239) (← links)
- Quantifier Elimination via Functional Composition (Q3636874) (← links)
- String Analysis via Automata Manipulation with Logic Circuit Representation (Q4633540) (← links)
- Towards Formal Evaluation and Verification of Probabilistic Design (Q4683261) (← links)
- Homing Sequence Derivation With Quantified Boolean Satisfiability (Q5094969) (← links)
- To SAT or Not to SAT: Scalable Exploration of Functional Dependency (Q5280781) (← links)
- Computer Aided Verification (Q5312906) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703775) (← links)
- A resolution proof system for dependency stochastic Boolean satisfiability (Q6050766) (← links)
