Ebook129 pages4 hours
The Satisfiability Problem: Algorithms and Analyses
By Uwe Schöning and Jacobo Torán
Rating: 0 out of 5 stars
()
About this ebook
The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. The SAT problem consists of deciding whether a given Boolean formula has a “solution”, in the sense of an assignment to the variables making the entire formula to evaluate to true.
Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables. For difficult (or randomly generated) formulas these algorithms can be compared to the proverbial search for the needle in a haystack. This book explains how such algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution. But also algorithms based on “physical” principles are considered.
Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables. For difficult (or randomly generated) formulas these algorithms can be compared to the proverbial search for the needle in a haystack. This book explains how such algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution. But also algorithms based on “physical” principles are considered.
Related to The Satisfiability Problem
Related ebooks
Nonparametric Analysis of Univariate Heavy-Tailed Data: Research and Practice Rating: 0 out of 5 stars0 ratingsScattering Theory, Revised Edition Rating: 0 out of 5 stars0 ratingsComputer-Aided Modeling of Reactive Systems Rating: 0 out of 5 stars0 ratingsDiscrete Numerical Methods in Physics and Engineering Rating: 4 out of 5 stars4/5Graph Theory in Modern Engineering: Computer Aided Design, Control, Optimization, Reliability Analysis Rating: 0 out of 5 stars0 ratingsIntroduction to Stochastic Search and Optimization: Estimation, Simulation, and Control Rating: 4 out of 5 stars4/5A Course on Surgery Theory: (AMS-211) Rating: 0 out of 5 stars0 ratingsAdmissibility of Logical Inference Rules Rating: 0 out of 5 stars0 ratingsStatistical Inference via Convex Optimization Rating: 0 out of 5 stars0 ratingsProbability Theory: A Historical Sketch Rating: 0 out of 5 stars0 ratingsTopics in Engineering Logic: International Series of Monographs on Electronics and Instrumentation Rating: 0 out of 5 stars0 ratingsReal Analysis: A Historical Approach Rating: 0 out of 5 stars0 ratingsSubmodular Functions and Optimization Rating: 0 out of 5 stars0 ratingsStability of Linear Systems: Some Aspects of Kinematic Similarity Rating: 0 out of 5 stars0 ratingsVariational Methods in Optimum Control Theory Rating: 0 out of 5 stars0 ratingsSingular Optimal Control Problems Rating: 0 out of 5 stars0 ratingsErgodic Theory and Topological Dynamics Rating: 0 out of 5 stars0 ratingsIntroduction to the Mathematics of Inversion in Remote Sensing and Indirect Measurements Rating: 0 out of 5 stars0 ratingsPartial Differential Equations of Mathematical Physics: International Series of Monographs in Pure and Applied Mathematics Rating: 0 out of 5 stars0 ratingsGeneralized Functions and Partial Differential Equations Rating: 0 out of 5 stars0 ratingsMeasure and Integration: A Concise Introduction to Real Analysis Rating: 0 out of 5 stars0 ratingsGeneralized Functions: Theory and Technique Rating: 5 out of 5 stars5/5Stochastic Geometry and Its Applications Rating: 4 out of 5 stars4/5Applications of Functional Analysis and Operator Theory Rating: 0 out of 5 stars0 ratingsInterior Point Algorithms: Theory and Analysis Rating: 0 out of 5 stars0 ratingsAutomated Theorem Proving: A Logical Basis Rating: 0 out of 5 stars0 ratingsMathematical Methods of Statistics (PMS-9), Volume 9 Rating: 3 out of 5 stars3/5
Computers For You
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL Rating: 4 out of 5 stars4/5Elon Musk Rating: 4 out of 5 stars4/5The Invisible Rainbow: A History of Electricity and Life Rating: 4 out of 5 stars4/5Slenderman: Online Obsession, Mental Illness, and the Violent Crime of Two Midwestern Girls Rating: 4 out of 5 stars4/5Standard Deviations: Flawed Assumptions, Tortured Data, and Other Ways to Lie with Statistics Rating: 4 out of 5 stars4/5Mastering ChatGPT: 21 Prompts Templates for Effortless Writing Rating: 5 out of 5 stars5/5Everybody Lies: Big Data, New Data, and What the Internet Can Tell Us About Who We Really Are Rating: 4 out of 5 stars4/5101 Awesome Builds: Minecraft® Secrets from the World's Greatest Crafters Rating: 4 out of 5 stars4/5CompTIA IT Fundamentals (ITF+) Study Guide: Exam FC0-U61 Rating: 0 out of 5 stars0 ratingsAlan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition Rating: 4 out of 5 stars4/5Procreate for Beginners: Introduction to Procreate for Drawing and Illustrating on the iPad Rating: 0 out of 5 stars0 ratingsThe Hacker Crackdown: Law and Disorder on the Electronic Frontier Rating: 4 out of 5 stars4/5Dark Aeon: Transhumanism and the War Against Humanity Rating: 5 out of 5 stars5/5The ChatGPT Millionaire Handbook: Make Money Online With the Power of AI Technology Rating: 0 out of 5 stars0 ratingsCreating Online Courses with ChatGPT | A Step-by-Step Guide with Prompt Templates Rating: 4 out of 5 stars4/5Childhood Unplugged: Practical Advice to Get Kids Off Screens and Find Balance Rating: 0 out of 5 stars0 ratingsAP Computer Science Principles Premium, 2024: 6 Practice Tests + Comprehensive Review + Online Practice Rating: 0 out of 5 stars0 ratingsCompTIA Security+ Practice Questions Rating: 2 out of 5 stars2/5Grokking Algorithms: An illustrated guide for programmers and other curious people Rating: 4 out of 5 stars4/5Going Text: Mastering the Command Line Rating: 4 out of 5 stars4/5The Professional Voiceover Handbook: Voiceover training, #1 Rating: 5 out of 5 stars5/5People Skills for Analytical Thinkers Rating: 5 out of 5 stars5/5Remote/WebCam Notarization : Basic Understanding Rating: 3 out of 5 stars3/5How to Create Cpn Numbers the Right way: A Step by Step Guide to Creating cpn Numbers Legally Rating: 4 out of 5 stars4/5
Reviews for The Satisfiability Problem
Rating: 0 out of 5 stars
0 ratings
0 ratings0 reviews
Book preview
The Satisfiability Problem - Uwe Schöning
Enjoying the preview?
Page 1 of 1