English » Arabic

Translations for „satisfiable“ in the English » Arabic Dictionary (Go to Arabic » English)

satisfiable ADJ

satisfiable

قابل للإرضاء

Monolingual examples (not verified by PONS Editors)

English

Such a set is easily recognizable as satisfiable or unsatisfiable with respect to the semantics of the logic in question. en.wikipedia.org

Put another way, is satisfiable if and only if is invalid. en.wikipedia.org

An unsatisfiable core is called a "minimal unsatisfiable core", if every proper subset (allowing removal of any arbitrary clause or clauses) of it is satisfiable. en.wikipedia.org

If is satisfiable, then there exists a proof (a truly satisfying assignment) that the system will always accept. 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

A tableau checks whether a given set of formulae is satisfiable or not. en.wikipedia.org

The resulting instance is satisfiable if and only if no domain or constraint is made empty. en.wikipedia.org

Graphs that can not be simplified beyond a certain point are analogues of the satisfiable formulas of first-order logic. en.wikipedia.org

An initial problem is solved by reducing it to a satisfiable conjunction of constraints. en.wikipedia.org

They may find a solution of a problem, but they may fail even if the problem is satisfiable. en.wikipedia.org

Browse the dictionary

English

Look up "satisfiable" in other languages

Choose your language Deutsch | English | Español | Français | Italiano | Polski