Implement decision conflict replacement proposed by Knuth
Donald Knuth proposes in SAT13 to swap a regular conflict by a conflict clause containing only decision variables under certain conditions. It is not clear if such proposal works in practice. All details available here: http://www-cs-faculty.stanford.edu/~uno/programs/sat13.w