𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers

✍ Scribed by Ogawa, Toru; Liu, Yangyang; Hasegawa, Ryuzo; Koshimura, Miyuki; Fujita, Hiroshi

Book ID: 124148768
Publisher: IEEE
Year: 2013
Weight: 667 KB
Category: Article
ISBN: 1479929719
DOI: 10.1109/ICTAI.2013.13

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 IEEE 25th International Confe

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Aspect-Based Twitter Sentiment Classification

✍ Lek, Hsiang Hui; Poo, Danny C.C. 📂 Article 📅 2013 🏛 IEEE ⚖ 189 KB

[IEEE 2013 IEEE 25th International Confe

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Detecting Impolite Crawler by Using Time Series Analysis

✍ Chen, Zhiqian; Feng, Wenya 📂 Article 📅 2013 🏛 IEEE ⚖ 616 KB

[IEEE 2013 IEEE 25th International Confe

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Which Users Reply to and Interact with Twitter Social Bots?

✍ Wald, Randall; Khoshgoftaar, Taghi M.; Napolitano, Amri; Sumner, Chris 📂 Article 📅 2013 🏛 IEEE ⚖ 172 KB

[IEEE 2013 IEEE 25th International Confe

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - A Reusable Methodology for the Instantiation of Social Recommender Systems

✍ Quijano-Sanchez, Lara; Recio-Garcia, Juan A.; Diaz-Agudo, Belen 📂 Article 📅 2013 🏛 IEEE ⚖ 492 KB

[IEEE 2013 IEEE 25th International Confe

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - CPP-SNS: A Solution to Influence Maximization Problem under Cost Control

✍ Zhan, Qianyi; Yang, Hongchao; Wang, Chongjun; Xie, Junyuan 📂 Article 📅 2013 🏛 IEEE ⚖ 477 KB

[IEEE 2013 IEEE 25th International Confe

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Machine Learning for Android Malware Detection Using Permission and API Calls

✍ Peiravian, Naser; Zhu, Xingquan 📂 Article 📅 2013 🏛 IEEE ⚖ 261 KB