DMCA

Polynomial time SAT decision for linearly lean complement-invariant clause-sets of minimal reduced deficiency (2007)

by Oliver Kullmann