21 citations · 71 across the 12 of their papers we have counts for
1 paper · 1 filter
Alexander Semenov, Oleg Zaikin
In this paper we propose the approach for constructing partitionings of hard variants of the Boolean satisfiability problem (SAT). Such partitionings can be used for solving corres…