Zhou, Neng-Fa
- Yet Another Comparison of SAT Encodings for the At-Most-K Constraint
2020/05/12 by Neng‐Fa Zhou, Zhou, Neng-Fa · 1 citation
Computer Science · #Algorithms and Data Compression #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)