Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03241303n
Noun Concept
Categories: Electronic design automation, Satisfiability problems, Logic in computer science, Boolean algebra, NP-complete problems
EN
Boolean satisfiability problem  SAT  1-in-3-SAT  3-SAT  3-satisfiability
EN
In logic and computer science, the Boolean satisfiability problem is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. Wikipedia
Definitions
Relations
Sources
EN
In logic and computer science, the Boolean satisfiability problem is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. Wikipedia
A problem in computer science Wikipedia Disambiguation
Problem of determining if a Boolean formula could be made true Wikidata
The problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE. OmegaWiki
IS A
NP-complete
satisfiability
decision problem
PART OF
Karp's 21 NP-complete problems
HAS KIND
2-satisfiability
Wikipedia
EN
Boolean satisfiability problem
Wikidata
EN
boolean satisfiability problem
OmegaWiki
EN
Boolean satisfiability problem, SAT
Wikipedia Redirections
EN
1-in-3-SAT, 3-SAT, 3-satisfiability, 3CNF, 3cnf-sat, 3CNFSAT, 3SAT, Algorithms for solving SAT, Algorithms for solving the boolean satisfiability problem, boolean SAT, Boolean SAT solver, Boolean satisfiability, CNF-SAT, CNFSAT, Counted Boolean Satisfiability Problem, k-CNF-SAT, k-SAT, linear SAT, List of SAT solvers, Methods for solving SAT, one-in-three 3SAT, Parallel SAT solver, propositional satisfiability, propositional satisfiability problem, SAT problem, SAT Solver, SAT solving, Satisfiability of boolean expressions, Satisfiability Problem, Unambiguous SAT, Unique-SAT, XOR-SAT, XOR-satisfiability
Wikidata Alias
EN
propositional satisfiability problem, SAT, SATISFIABILITY

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License