P

Perfect matching of monotone Boolean functions with null Euler characteristic

This code is to test the conjecture presented in https://cstheory.stackexchange.com/q/42626/38111 and in the AMW''18 workshop paper “Towards Deterministic Decomposable Circuits for Safe Queries” (https://arxiv.org/abs/1912.11098).