Recognition of tractable satisfiability problems through balanced polynomial representations

More Info
expand_more