satisfiability modulo theories

Nature : problème de décision

Catégories : concepts mathématiques · sciences · concepts abstraits

Mots du lexique : modulo nom commun

Wikidata Q2067766 · Wikipédia