✦ LIBER ✦

[Lecture Notes in Computer Science] Intelligent Data Engineering and Automated Learning - IDEAL 2011 Volume 6936 || Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm

✍ Scribed by Yin, Hujun; Wang, Wenjia; Rayward-Smith, Victor

Book ID: 115460159
Publisher: Springer Berlin Heidelberg
Year: 2011
Tongue: English
Weight: 181 KB
Edition: 1
Category: Article
ISBN: 3642238785
DOI: 10.1007/978-3-642-23878-9_22

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2011, held in Norwich, UK, in September 2011. The 59 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book and present the latest theoretical advances and real-world applications in computational intelligence.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Data Engineering and Automated Learning - IDEAL 2011 Volume 6936 || Typical Testors Generation Based on an Evolutionary Algorithm

✍ Yin, Hujun; Wang, Wenjia; Rayward-Smith, Victor 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 163 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Data Engineering and Automated Learning - IDEAL 2011 Volume 6936 || Categorization of Wikipedia Articles with Spectral Clustering

✍ Yin, Hujun; Wang, Wenjia; Rayward-Smith, Victor 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 312 KB