Recognition of tractable satisfiability problems through balanced polynomial representations
More Info
expand_more
expand_more