| Binary decision diagrams with edge-specified reductions J Babar, C Jiang, G Ciardo, A Miner International Conference on Tools and Algorithms for the Construction and …, 2019 | 21 | 2019 |
| Variable reordering in binary decision diagrams C Jiang, J Babar, G Ciardo, AS Miner, B Smith 26th International Workshop on Logic & Synthesis, 2017 | 14 | 2017 |
| Partial Backtracking in CDCL Solvers C Jiang, T Zhang Logic for Programming, Artificial Intelligence, and Reasoning, 490-502, 2013 | 8 | 2013 |
| Nigma: A partial backtracking sat solver C Jiang, T Zhang Proceedings of SAT Competition 2013, 62-63, 2013 | 4 | 2013 |
| Generation of minimum tree-like witnesses for existential CTL C Jiang, G Ciardo International Conference on Tools and Algorithms for the Construction and …, 2018 | 3 | 2018 |
| Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse C Jiang, G Ciardo EPiC Series in Computing 57, 2018 | 3 | 2018 |
| Nigma 1.2 C Jiang, G Ciardo SAT Race, 2015 | 2 | 2015 |
| A Fast Simulation for Thousands of M/2M/2 Parallel Homogeneous Fork/Join Pipelines RJ Chen, M Tong, C Jiang International Conference on Intelligent Systems, Modelling and Simulation …, 2011 | 2 | 2011 |
| Research on Enterprise Application Software Project Implementation Model L Yang, C Jiang International Conference on Management and Service Science (MASS), 1 - 4, 2011 | 2 | 2011 |
| Efficient satisfiability solver C Jiang | 1 | 2014 |
| Design and research on Knowledge Management-Oriented OA architecture L Yang, C Jiang International Conference on Intelligent Computing and Integrated Systems …, 2010 | 1 | 2010 |
| Witness generation in existential CTL model checking C Jiang Iowa State University, 2019 | | 2019 |
