satisfiable in the Oxford Spanish Dictionary

Translations for satisfiable in the English»Spanish Dictionary (Go to Spanish»English)

Translations for satisfiable in the Spanish»English Dictionary (Go to English»Spanish)

Your search term in other parts of the dictionary
satisfacible
satisfiable
American English

Monolingual examples (not verified by PONS Editors)

English
Put another way, is satisfiable if and only if is invalid.
en.wikipedia.org
This is because the constraint store contains all constraints assumed satisfiable to prove the goal.
en.wikipedia.org
An initial problem is solved by reducing it to a satisfiable conjunction of constraints.
en.wikipedia.org
The new problem is satisfiable if and only if the original problem was, and solutions can be converted easily from one problem to the other.
en.wikipedia.org
If is satisfiable, then there exists a proof (a truly satisfying assignment) that the system will always accept.
en.wikipedia.org
In particular is valid if and only if is unsatisfiable, which is to say it is not true that is satisfiable.
en.wikipedia.org
They may find a solution of a problem, but they may fail even if the problem is satisfiable.
en.wikipedia.org
If one of these two tests returns that the smaller instance is satisfiable, continue solving that instance until a complete solution has been derived.
en.wikipedia.org
Such a set is easily recognizable as satisfiable or unsatisfiable with respect to the semantics of the logic in question.
en.wikipedia.org
Attempting to prove a satisfiable first-order formula as unsatisfiable may result in a nonterminating computation; this problem doesn't occur in propositional logic.
en.wikipedia.org

Would you like to add some words, phrases or translations?

Submit a new entry.

Browse the dictionary

English

Look up "satisfiable" in other languages


Choose your language Deutsch | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | 中文
Browse the dictionaries
Most popular