3
Вимірювання складності екземплярів SAT
З огляду на екземпляр SAT, я хотів би мати можливість оцінити, наскільки важко буде вирішити екземпляр. Один із способів - запустити існуючі вирішувачі, але такий вид перемагає мету оцінки складності. Другим способом може бути пошук співвідношення пропозицій до змінних, як це робиться для фазових переходів у випадковому SAT, але я …