Kim, Seonmo

1. Bit-Vector Model Counting using Statistical Estimation
   2017/12/21 by Seonmo Kim, Kim, Seonmo, Stephen McCamant +1 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Privacy-Preserving Technologies in Data