Satisfiabilité : définition de satisfiabilité

chevron_left
chevron_right

Satisfiabilité : définition du Wiktionnaire

Nom commun

satisfiabilité \sa.tis.fja.bi.li.te\ féminin

  1. (Logique) En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.
Wiktionnaire - licence Creative Commons attribution partage à l’identique 3.0

Phonétique du mot « satisfiabilité »

Mot Phonétique (Alphabet Phonétique International) Prononciation
satisfiabilité satisfjabilite play_arrow

Citations contenant le mot « satisfiabilité »

  • La raison de cette petite révolution ? C’est la mise au point par les informaticiens de nouveaux algorithmes très efficaces pour résoudre ces problèmes : les « solveurs SAT ». Dans le langage informatique, SAT signifie « satisfiabilité ». Il s’agit d’un formalisme logique qui capture toute la difficulté d’un problème combinatoire pour tenter ensuite de le satisfaire. Prenez un jeu de Sudoku ou un démineur, ce sont là deux exemples très simples de problèmes qui peuvent être appréhendés et résolus très facilement par ce formalisme. CNRS Le journal, La plus grosse preuve de l’histoire des mathématiques | CNRS Le journal

Traductions du mot « satisfiabilité »

Langue Traduction
Corse soddisfazione
Basque satisfiability
Japonais 満足度
Russe выполнимости
Portugais satisfação
Arabe مرضية
Chinois 可满足性
Allemand erfüllbarkeit
Italien soddisfacibilità
Espagnol satisfacción
Anglais satisfiability
Source : Google Translate API


mots du mois

Mots similaires