Feature Logic With Weak Subsumption Constraints

35743
Back to Articles Dashboard

Related Entities

Координационные явления

Task

Логика признаков

Material

Проблема удовлетворимости

Task

Алгоритм решения

Method

Ограничения подчинения

Method