51 citations · 96 across the 12 of their papers we have counts for
3 papers · 1 filter
Fast Converging Anytime Model Counting
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Model counting is a fundamental problem which has been influential in many applications, from artificial intelligence to formal verification. Due to the intrinsic hardness of model…
Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction
Kaiyuan Yang, Houjing Huang, Olafs Vandans +4
A central problem in computational biophysics is protein structure prediction, i.e., finding the optimal folding of a given amino acid sequence. This problem has been studied in a…
CCDD: A Tractable Representation for Model Counting and Uniform Sampling
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Knowledge compilation concerns with the compilation of representation languages to target languages supporting a wide range of tractable operations arising from diverse areas of co…