What is the example of another problem characterized by large instances that is routinely solved by SAT handlers employing efficient algorithms?
Similarly, algorithms can solve the NP-complete knapsack problem over a wide range of sizes in less than quadratic time and SAT solvers routinely handle large instances of the NP-complete Boolean satisfiability problem.
Каков пример другой проблемы, характеризующейся большими экземплярами, которая обычно решается обработчиками SAT, использующими эффективные алгоритмы?
Аналогично, алгоритмы могут решить проблему NP-полного рюкзака в широком диапазоне размеров менее чем за квадратичное время, и решатели SAT обычно обрабатывают большие экземпляры проблемы NP-полной булевой выполнимости.