boolean satisfiability problem
From WikiWord, the free dictionary
English
Definitions
No definition found for “boolean satisfiability problem”. Check the spelling, or try a related word.
Related words
Synonyms
circuit satisfiability problemsatisfiability modulo theories2-satisfiabilitymaximum satisfiability problemhorn-satisfiabilitydpll algorithmtseytin transformationboolean data typepropositional logicvaluationboolean algebramathematical logicboolean expressionpartition problemlogical biconditionalentscheidungsproblem