#define fr(i, x, n) for (int i = x; i < n; i++) #define nfr(i, x, n) for (int i = x; i > n; i--) ...
#define DEB2(x, y) cout << #x << "=" << x << "," << #y << "=" << y << endl ...
Abstract: This paper is an attempt to answer the following question: how much improvement can be obtained in logic decomposition by using Boolean divisors? Traditionally, the existence of too many ...