Multilevel Techniques for solving the Satisfiability Problem Год выпуска: 2012Автор: Sirar Salih and Noureddine BouhmalaИздательство: Страниц: 124ISBN: 9783659131974Описание There are many complex problems in computer science that occur in knowledge-representation, artificial learning, Very Large Scale Integration (VLSI) design, security protocols and other areas. These complex problems may be deduced into satisfiability problems where the Boolean Satisfiability Problem (SAT) may be applied. This deduction is made in order to simplify complex problems into a specific propositional logic problem. The SAT problem is the most well-known nondeterministic polynomial time (NP) complete problem in computer science. In this book, we solve the SAT problem using a clustering technique - Multilevel - combined first with the Tabu Search algorithm and combined thereafter with finite Learning Automata. Tabu Search and finite Learning Automata are two very efficient approaches that have been used to solve SAT.
Похожие книги
Kimball Fisher, Steven Rayner, William Belgard. Tips for Teams: A Ready Reference for Solving Common Team Problems. – М.: McGraw-Hill, 1995. – 234 с. Aswath Damodaran. Investment Valuation: Tools and Techniques for Determining the Value of Any Asset. – М.: John Wiley and Sons, Ltd, 2002. – 1008 с. Rodney Johnson. Without Warning: Breakthrough Strategies for Solving the Silent Problems Taking Aim at Your Organization. – М.: , 2009. – 136 с. The Netherlands Scientific Council for Government Policy. Climate Strategy: Between Ambition and Realism. – М.: , 2008. – 97 с. FRANCO. THE SATISFIABILITY PROBLEM & BOOLEAN FUNCTIONS TDMTOPICS IN DISCRETE MATHEMATICS VOLUME 10. – М.: , 2010. – 0 с. Sudhir Kaul. Modeling Techniques for Vibration Isolation in Motorcycles. – М.: LAP Lambert Academic Publishing, 2011. – 232 с. Alexandru Rap. Boundary element methods for solving inverse problems. – М.: LAP Lambert Academic Publishing, 2010. – 212 с. Gulnar Sadq,Abbas Younis Al-Bayati and Najmaddin Abdulla Sulaiman. On Neural Network Algorithms for Solving Non- Linear Problems. – М.: LAP Lambert Academic Publishing, 2012. – 156 с. Bimal Kumar Datta and Dr. Mohammad Babul Hasan. Techniques for solving programming problems. – М.: LAP Lambert Academic Publishing, 2010. – 84 с. Sergey Tyurin. Universal method for solving problems of linear algebra. – М.: LAP Lambert Academic Publishing, 2013. – 88 с. Pushpinder Singh. Ranking Approach to Solve Linear Programming Problems with Fuzzy Sets. – М.: LAP Lambert Academic Publishing, 2013. – 100 с. Suha Najeeb Shihab and Prof. Dr. Abdul Samee Abdul Razzak AL-Janabi. On the Numerical Solutions for Solving Optimal Control Problems. – М.: LAP Lambert Academic Publishing, 2012. – 216 с. Tsegay Tesfay. Numerical Integration Method for solving Boundary value Problems. – М.: LAP Lambert Academic Publishing, 2014. – 64 с. Sozan S. Haider and Abdulrahim Rahi. Numerical Techniques for Solving the Transportation Problems. – М.: LAP Lambert Academic Publishing, 2012. – 116 с. Abd Allah A. Mousa,Mohamed S. osman and Mahmoud A. Abosinna. Recent trends for solving fuzzy multi-objective programming problems. – М.: LAP Lambert Academic Publishing, 2012. – 152 с. Harry Venables. Solving the Capacitated Facility Location Problem. – М.: LAP Lambert Academic Publishing, 2012. – 228 с. Sirar Salih and Noureddine Bouhmala. Multilevel Techniques for solving the Satisfiability Problem. – М.: , 2012. – 124 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Ната Виталий, я немного вас разрекламировала и дала ваш адрес некоторым студентам (е-мэил), извините, если я неправильно сделала, но если вы не против, то выложу ваш адрес на нашем студенческом сайте, у многих проблемы с электротехникой.
