To overcome this flaw, that step has to be modified such that it can be parametrized with different literal post-selection heuristics.
Да би се превазишао овај пропуст, тај корак мора бити модификован тако да се може параметризовати са различитим литералима након селекције хеуристике.