satisfiable
1
7.7
- adjective
- /ˌsætɪsˈfaɪəbl/
- Specialized
:
satisfacible
- So let's say P is satisfiable, so it has some assignment.
- formula is satisfiable
I want to prove to you that three CNF formula is satisfiable.
- I want to prove to you that three CNF formula is satisfiable.
Examples
-
Our system then emits the following warning: Synthesis predicate is not satisfiable for variable assignment: totsec=86400, pointing to the fact that the constraint has no solutions when the totsec parameter is too large.
Academic text (2012) -
Well, you solve any clause, so this thing is satisfiable if and only if at least one of the clauses is satisfiable.
-
They, some of them may not be satisfiable at all.
-
On top of this basic functionality, many decision procedure implementations provide the additional feature of generating a satisfying assignment (a model) whenever the given formula is satisfiable.
Academic text (2012) -
The mathematical problem is s satisfiable, meaning there is a solution that fulfills all conditions.
-
In logic, a statement is considered s satisfiable if there exists an interpretation that makes it true.
-
For a theory to be considered consistent, all of its axioms must be s satisfiable within the given framework.
Synonyms
A need, desire, or appetite that can be fully met
Antonyms
How Satisfiable
- Specialized
1
7.7
1
7.9
Surface Forms
Morphology
Etymology
Satisfiable comes from satisfy, which goes back to Latin parts satis 'enough' and facere 'to make'. So, something satisfiable is 'able to be made enough' or 'able to be fulfilled', and in logic it means it can be made 'true', while in everyday use it means it can meet the need.