[Lecture Notes in Computer Science] Data and Knowledge Engineering Volume 7696 || A Self-stabilizing Algorithm for Finding a Minimal K-Dominating Set in General Networks

[Lecture Notes in Computer Science] Inte

[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

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

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 incl