Manyà, Felip
- 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
- Incomplete MaxSAT Approaches for Combinatorial Testing
2021/05/26 by Ansótegui, Carlos, Manyà, Felip, Ojeda, Jesus +2 · 3 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences