αγγλικά
ιταλικά
satisfiable [βρετ ˈsatɪsfʌɪəb(ə)l, αμερικ ˈsædəˌsfaɪəb(ə)l] ΕΠΊΘ
- satisfiable
-
ιταλικά
αγγλικά
-
- satisfiable
-
- satisfiable
PONS OpenDict
Θέλεις να προσθέσεις μια λέξη, φράση ή μετάφραση;
Στείλε μας μια νέα καταχώριση για το PONS OpenDict. Οι προτάσεις ελέγχονται από τη συντακτική ομάδα της PONS και στη συνέχεια περιλαμβάνονται στα αποτελέσματα.
Μονόγλωσσα παραδείγματα (μη ελεγμένα από τη συντακτική ομάδα της PONS)
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 A formula is satisfiable if it is true under at least one interpretation, and thus a tautology is a formula whose negation is unsatisfiable.
en.wikipedia.org This is because the constraint store contains all constraints assumed satisfiable to prove the goal.
en.wikipedia.org In this latter case, it is called unsatisfiable, otherwise satisfiable.
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