Felip Manyà
- Clause Vivification by Unit Propagation in CDCL SAT Solvers
2018/07/29 by Chu-Min Li, Fan Xiao, Li, Chu-Min +9 · 4 citations
Computer Science · Chemistry · #Formal Methods in Verification #Synthetic Organic Chemistry Methods #Model-Driven Software Engineering Techniques