satisfiability problem

Also found in: Wikipedia

0.01 sec.

satisfiability problem - A problem used as an example in complexity theory. It can be stated thus:

Given a Boolean expression E, decide if there is some assignment to the variables in E such that E is true.

A Boolean expression is composed of Boolean variables, (logical) negation (NOT), (logical) conjunction (AND) and parentheses for grouping. The satisfiability problem was the first problem to be proved to be NP-complete (by Cook).

["Introduction to Automata Theory, Languages, and Computation" by Hopcroft and Ullman, pub. Addison-Wesley].

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			Satisfiability problems arise not only in complex chip design, but in many other areas such as packing a backpack with as many items as possible, or searching for the shortest postal route to deliver mail in a neighborhood. New computer game harnesses human intuition to solve complex problems by Asian News International Clustering of solutions in the random satisfiability problem. Why almost all satisfiable k-CNF formulas are easy by Coja-Oghlan, Amin; Krivelevich, Michael; Vilenchik, Dan / DMTCS Proceedings The papers have been organized into sections on architecture description languages, applications related to the Boolean satisfiability problem, debug and diagnosis, high level test and automatic test- pattern generators, validation, and advances in verification methodology for complex designs. Microprocessor Test and Verification: Common Challenges and ... by SciTech Book News			säteri roof Sather Sather-K sathrolith Satie Satie, Erik Satie, Erik Alfred Leslie satin satin finish satin ice satin paint satin sheen satin spar satin stone Satinwood Satir, Virginia Satir-Agitteatr Satire Satire Ménippée Satirikon satirist Satis Satis House satisfaction satisfaction piece satisfiability problem Satka Satnami sect Sato Eisaku Sato, Eisaku Satpaev, Kanysh Satpaev, Kanysh Imantaevich Satpura Satrap Satrapy SATs Sats, Aleksander Johannesovitš Sats, Aleksander Johannesovits Sats, Nataliia Ilinichina Satsuma Sattar Bakhlul Ogly Bakhlulzade Sattar Erubaev Sattar Khan Satterlee, Henry Yates Satu-Mare Satunin, Konstantin Satunin, Konstantin Alekseevich Satura saturable absorption saturable reactor saturable transformer			Satisfaction(song) Satisfaction(song) Satisfaction(song) satisfactions satisfactions satisfactions satisfactions Satisfactive satisfactorily satisfactorily satisfactoriness satisfactoriness satisfactory satisfactory satisfactory Satisfactory Academic Progress Satisfactory but Limited by Lack of Endocervical Component Satisfactory condition Satisfactory evidence Satisfactory Evidence Received This Headquarters Satisfactory Implementation of Design satisfactory notice Satisfactory or Unsatisfactory Satisfait ou Remboursé Satisfiability Satisfiability Satisfiability Satisfiability Library Satisfiability Modulo Theories Satisfiability Modulo Theories Competition satisfiability problem Satisfiability Solvers and Program Verification satisfiable satisfiable satisfiable satisfice satisficed satisfices Satisficing satisficing behaviour satisfied satisfied satisfied satisfied the examiners satisfied the examiners Satisfied User Criterion satisfied with satisfier satisfier satisfier satisfies satisfies satisfies satisfies the examiners satisfies the examiners satisfise satisfy satisfy satisfy satisfy a claim satisfy by

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.