• 2025-08-26【08-27】知行融创论坛：Separation between Walksat and DPLL
• 2025-08-26【08-27】知行融创论坛：含整数类型的字符串约束求解
• 2025-08-26【08-27】知行融创论坛：A Divide-and-Conquer Approach for Global Orientation of Non-Watertight Scene-Level Point Clouds Using 0-1 Integer Optimization
• 2025-08-26【08-27】知行融创论坛：Efficient Formal Verification of Quantum Error Correcting Programs
• 2025-06-25【06-25】知行融创论坛：Reachability Computation via Set Boundary Analysis
• 2025-06-25【06-25】知行融创论坛：From an odd arity signature to a Holant dichotomy
• 2025-06-25【06-25】知行融创论坛：Quantum Speedup for Sampling Random Spanning Trees
• 2025-06-25【06-25】知行融创论坛：Parallel MIP Solving with Dynamic Task Decomposition
• 2025-05-22【05-28】知行融创论坛：Towards Large Language Model Guided Kernel Direct Fuzzing
• 2025-05-22【05-28】知行融创论坛：Patch Synthesis for Property Repair of Deep Neural Networks
• 2025-05-16【05-28】知行融创论坛：Complete Quantum Relational Hoare Logics from Optimal Transport Duality
• 2025-05-16【05-28】知行融创论坛：Polynomial time algorithms for typical #EO problems
• 2025-04-27【04-27】知行融创论坛：A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
• 2025-04-27【04-27】知行融创论坛：Piecewise Analysis of Probabilistic Programs via k-Induction
• 2025-04-27【04-27】知行融创论坛：Distributed SMT Solving Based on Dynamic Variable-level Partitioning