Эм... Разложенные конъюнкции дизъюнкий ты можешь скармливать кластеру, их вычисляющему. То есть ты имеешь набор мелких составляющих, каждую из которых можно вычислить автономно. Кластер понятно, - виртуальный. Из головы выскочило это модное название, - о нём все говорят, но мало кто использовал :)