Horn-satisfiabilité

concept problème algorithmique

Aussi : HORNSAT, Horn-réalisable, Horn-satisfaisable