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 ...
Read More
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.
Read Less
Add this copy of Multilevel Techniques for solving the Satisfiability to cart. $54.73, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2012 by LAP Lambert Academic Publishing.
Add this copy of Multilevel Techniques for Solving the Satisfiability to cart. $67.53, new condition, Sold by BargainBookStores rated 3.0 out of 5 stars, ships from Grand Rapids, MI, UNITED STATES, published 2012 by LAP Lambert Academic Publishing.
Add this copy of Multilevel Techniques for Solving the Satisfiability to cart. $76.23, new condition, Sold by Paperbackshop rated 4.0 out of 5 stars, ships from Bensenville, IL, UNITED STATES, published 2012 by LAP Lambert Academic Publishing.
Add this copy of Multilevel Techniques for Solving the Satisfiability to cart. $106.60, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2012 by LAP LAMBERT Academic Publishin.