problème 2-SAT concept Nature : problème algorithmique Catégories : concepts mathématiques · sciences · concepts abstraits Mots du lexique : problème nom commun, Sat nom propre Wikidata Q4596967 · Wikipédia