Horn-satisfiabilité

concept

problème algorithmique

Propriétés