stratégie de l'ensemble support

Désignations

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français

Stratégie de résolution par réfutation qui nécessite la garantie que l'on effectue des recherches pour toutes les réfutations possibles. Dans une réfutation axée sur cette stratégie, au moins un parent de chaque résolvante est sélectionné parmi les clauses résultant de la négation de la fbf ou parmi leurs descendants (l'ensemble support).