αγγλικά
ιταλικά
satisfiable [βρετ ˈsatɪsfʌɪəb(ə)l, αμερικ ˈsædəˌsfaɪəb(ə)l] ΕΠΊΘ
- satisfiable
-
ιταλικά
αγγλικά
PONS OpenDictΠροσθήκη λήμματος
Θέλετε να προσθέσετε μια λέξη, φράση ή μετάφραση?
Στείλτε μας ένα νέο λήμμα για το PONS OpenDict. Οι προτάσεις ελέγχονται από τη συντακτική ομάδα του PONS και στη συνέχεια περιλαμβάνονται στο PONS OpenDict.
Μονόγλωσσα παραδείγματα (μη ελεγχόμενα από το λεξικογραφικό τμήμα)
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