✦ LIBER ✦

Parallel solving model for quantified boolean formula based on machine learning

✍ Scribed by Li, Tao; Xiao, Nan-feng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Parallel extreme learning machine for re

✍ He, Qing; Shang, Tianfeng; Zhuang, Fuzhen; Shi, Zhongzhi 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 438 KB

Cheminformatic models based on machine l

✍ Salma Jamal,Vinod Scaria 📂 Article 📅 2013 🏛 BioMed Central 🌐 English ⚖ 301 KB

State of charge estimation for Li-ion ba

✍ Du, Jiani; Liu, Zhitao; Wang, Youyi 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 769 KB

[IEEE 2008 International Conference on M

✍ Wen-Xiang Gu, ; Jin-Li Li, ; Ming-Hao Yin, ; Jun-Shu Wang, ; Jin-Yan Wang, 📂 Article 📅 2008 🏛 IEEE ⚖ 401 KB

[IEEE 2011 International Conference on M

✍ Shi, Han-Xiao; Li, Xiao-Jun 📂 Article 📅 2011 🏛 IEEE ⚖ 111 KB

[IEEE 2010 International Conference on M

✍ Nadif, Mohamed; Govaert, Gerard 📂 Article 📅 2010 🏛 IEEE ⚖ 216 KB