-
Anne Parrain authored
implication of all literals => does not suit for instances needing cutting planes correct card and clause post-processing to choose "best" assertive literal (at the upper level of decision, with the biggest coefficient in case of card post-processing)
fb94a3d5