Использование МL для ускорения SAT
- Поискать статьи, если это ранее не было сделано, в которых такой подход использовался.
- Реализовать эту эвристику в первом приближении.
- Подумать над набором признаков-фичей, которые могут быть информативными для обучаемого классификатора.