Я работаю над проблемой минимизации больших логических выражений, которые предоставляются в качестве входных данных для Solr.
Это похоже на проблему, аналогичную минимизации логических элементов схемы, используя такие методы, как булева алгебра / K-Map. Тем не менее, эти методы полезны для небольших выражений, но не для очень больших.
Какие еще подходы / алгоритмы можно использовать для решения этой проблемы?