void mark_non_maximal_literals(Clause c);
BOOL maximal_literal(Literal lit);
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.