TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
BOOLEAN CONSTRAINT [3 records]
Record 1 - internal organization data 2019-11-04
Record 1, English
Record 1, Subject field(s)
- Mathematics
- Artificial Intelligence
Record 1, Main entry term, English
- Boolean constraint satisfaction
1, record 1, English, Boolean%20constraint%20satisfaction
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 CONT
In the world of Boolean constraint satisfaction, we start with a box that contains Boolean constraints. There is only a finite number of different constraint types in the box, but of each type we have an infinite number of "copies." Now we want to combine them in order to get new constraints. 2, record 1, English, - Boolean%20constraint%20satisfaction
Record 1, Key term(s)
- Boolian constraint satisfaction
Record 1, French
Record 1, Domaine(s)
- Mathématiques
- Intelligence artificielle
Record 1, Main entry term, French
- satisfaction de contraintes booléennes
1, record 1, French, satisfaction%20de%20contraintes%20bool%C3%A9ennes
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record 1, Key term(s)
- satisfaction de contraintes booléiennes
Record 1, Spanish
Record 1, Campo(s) temático(s)
- Matemáticas
- Inteligencia artificial
Record 1, Main entry term, Spanish
- satisfacción de restricciones booleanas
1, record 1, Spanish, satisfacci%C3%B3n%20de%20restricciones%20booleanas
correct, feminine noun
Record 1, Abbreviations, Spanish
Record 1, Synonyms, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2019-11-04
Record 2, English
Record 2, Subject field(s)
- Mathematics
- Artificial Intelligence
Record 2, Main entry term, English
- Boolean constraint
1, record 2, English, Boolean%20constraint
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 CONT
Boolean constraints are represented by means of boolean formulas ... 2, record 2, English, - Boolean%20constraint
Record 2, Key term(s)
- Boolian constraint
Record 2, French
Record 2, Domaine(s)
- Mathématiques
- Intelligence artificielle
Record 2, Main entry term, French
- contrainte booléenne
1, record 2, French, contrainte%20bool%C3%A9enne
correct, feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record 2, Key term(s)
- contrainte booléienne
Record 2, Spanish
Record 2, Campo(s) temático(s)
- Matemáticas
- Inteligencia artificial
Record 2, Main entry term, Spanish
- limitación booleana
1, record 2, Spanish, limitaci%C3%B3n%20booleana
correct, feminine noun
Record 2, Abbreviations, Spanish
Record 2, Synonyms, Spanish
- restricción booleana 2, record 2, Spanish, restricci%C3%B3n%20booleana
correct, feminine noun
Record 2, Textual support, Spanish
Record 3 - internal organization data 2019-11-04
Record 3, English
Record 3, Subject field(s)
- Mathematics
- Artificial Intelligence
Record 3, Main entry term, English
- Boolean constraint satisfaction problem
1, record 3, English, Boolean%20constraint%20satisfaction%20problem
correct
Record 3, Abbreviations, English
- BCSP 2, record 3, English, BCSP
correct
Record 3, Synonyms, English
- Boolean CSP 3, record 3, English, Boolean%20CSP
correct
- BCSP 4, record 3, English, BCSP
correct
- BCSP 4, record 3, English, BCSP
Record 3, Textual support, English
Record number: 3, Textual support number: 1 CONT
[In] a typical Boolean constraint satisfaction problem (BCSP), ... each Boolean expression is seen as a Boolean constraint. 2, record 3, English, - Boolean%20constraint%20satisfaction%20problem
Record 3, Key term(s)
- Boolian constraint satisfaction problem
- Boolian CSP
Record 3, French
Record 3, Domaine(s)
- Mathématiques
- Intelligence artificielle
Record 3, Main entry term, French
- problème de satisfaction de contraintes booléennes
1, record 3, French, probl%C3%A8me%20de%20satisfaction%20de%20contraintes%20bool%C3%A9ennes
correct, masculine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record 3, Key term(s)
- problème de satisfaction de contraintes booléiennes
Record 3, Spanish
Record 3, Campo(s) temático(s)
- Matemáticas
- Inteligencia artificial
Record 3, Main entry term, Spanish
- problema de satisfacción de restricciones booleanas
1, record 3, Spanish, problema%20de%20satisfacci%C3%B3n%20de%20restricciones%20booleanas
correct, masculine noun
Record 3, Abbreviations, Spanish
Record 3, Synonyms, Spanish
Record 3, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: