标签： solr boolean-expression minimize heuristics karnaugh-map
我正在研究一个问题，以最大程度地减少作为Solr输入提供的大型布尔表达式。 这似乎是一个类似于使用布尔代数/ K-Map之类的技术来最小化电路上逻辑门的问题。但是，这些技术对于较小的表达式很有用，但对于很大的表达式则没有用。 还有什么其他方法/算法可以用来解决此问题？