Li, Yingcheng
- Characterizing the ambiguity in topological entanglement entropy
2023/11/29 by Yingcheng Li, Li, Yingcheng · 1 citation
Computer Science · Engineering · Physics and Astronomy · #Advanced Memory and Neural Computing #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Mathematical Physics (math-ph) #Quantum and electron transport phenomena #Quantum-Dot Cellular Automata #Strongly Correlated Electrons (cond-mat.str-el)
- Deeply Optimizing the SAT Solver for the IC3 Algorithm
2025/01/24 by Yi Su, Qiusong Yang, Su, Yuheng +9 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)