Упаковывают ли решатели SAT предложения в байты?

#data-structures #sat #bitflags Вопрос: Глядя на общие кодовые базы для 3SAT, такие как Z3, кажется, что предложения обычно представляются в виде троек переменных, возможно, отрицаемых. Однако другое возможное представление состоит…