problème de satisfaisabilité booléenne

· fiche TERMIUM Plus

Désignations

français
  • problème de satisfaisabilité booléenne (correct,masculine noun)

    CONT: Les problèmes de satisfaisabilité booléenne, généralement abrégés à problèmes SAT, sont des problèmes de satisfaction de contraintes ...

  • synonyme : problème SAT (correct,masculine noun)
  • SAT abrév. (correct,masculine noun)
anglais
  • Boolean satisfiability problem (correct)

    CONT: The Boolean satisfiability problem, also known as SAT, is a problem in AI [artificial intelligence] that is used to determine whether or not a given Boolean formula can be satisfied by a set of truth values. A Boolean formula is a mathematical formula that consists of a set of variables, each of which can take on one of two values, true or false. The problem is to determine whether there exists a set of truth values for the variables that makes the formula true.

  • SAT abrév. (correct)

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Classement

Collections

Domaines

  • Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-17e79cbbbc5bcd0d/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.

Buy us a coffee Explore the data