Negation can be exponentially powerful
counting perfect matchings in planar graphs
scientific article; zbMATH DE number 3690684
scientific article