Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances

arXiv:2602.17130v1 Announce Type: new Abstract: We propose a novel parallel algorithm for decomposing hard CircuitSAT instances. The technique employs specialized constraints to partition an original …