CDCL with Less Destructive Backtracking through Partial Ordering.

Anthony Monnet, Roger Villemaire

Browse the full CADE paper archive.