Traductions de satisfiable dans le dictionnaire anglais»espagnol (Aller à espagnol»anglais)

satisfiable [Am ˈsædəˌsfaɪəb(ə)l, GB ˈsatɪsfʌɪəb(ə)l] ADJ

- Afficher les synonymes de satisfiable :
- Envoyez-nous vos réactions

satisfiable

Traductions de satisfiable dans le dictionnaire espagnol»anglais (Aller à anglais»espagnol)

Autres traductions et expressions typiques avec les termes de votre recherche

satisfacible

satisfiable

anglais d'Amérique

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

anglais

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

Voulez-vous ajouter des mots, des phrases ou des traductions ?

Proposez de créer une nouvelle entrée pour un mot.

Parcourir le dictionnaire

anglais

Consulter "satisfiable" dans d'autres langues

Page en Deutsch | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | 中文