| |||
точка единичной импликации (представляет собой альтернативный вариант назначения переменных и дизъюнкт, запомненный в первой такой точке гарантированно имеет наименьший размер и обеспечивает наибольшее уменьшение уровня решени Alex_Odeychuk) | |||
доминатор импликационного графа (Alex_Odeychuk) |