Классические методы хороши. С использованием того же SAT-решателя можно получить гарантированно оптимальное решение. Но проблемы возникают c масштабируемостью. Если мы четко понимаем, что на нашем масштабе мы оптимальное решение в обозримые сроки не получим, то в ход идут любые средства: пчелы, муравьи, нейросети и весь остальной зоопарк :)