French translation for "horn-satisfiability"
|
- horn-satisfiabilité
- Example Sentences:
| 1. | Unit propagation, applied repeatedly as new unit clauses are generated, is a complete satisfiability algorithm for sets of propositional Horn clauses; it also generates a minimal model for the set if satisfiable: see Horn-satisfiability.
La propagation unitaire répétée jusqu'au point fixe est complète dans le cas où toutes les clauses sont des clauses de Horn ; elle génère aussi un ensemble minimal pour la satisfiabilité: Voir Horn-satisfiabilité. |
- Similar Words：
- "horn, netherlands" French translation, "horn, rutland" French translation, "horn, sweden" French translation, "horn, switzerland" French translation, "horn-bad meinberg" French translation, "horna" French translation, "horna albums" French translation, "hornachos" French translation, "hornachuelos" French translation
|
|
|
