Overview

satisfiability


Show Summary Details

Quick Reference

The property exhibited by any logical expression or well-formed formula for which it is possible to assign values to variables in such a way that the expression or formula is true. See also propositional calculus, predicate calculus, P-NP question.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.