Speeding Up CDCL Inference with Duplicate Learnt Clauses.

Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov, Victor Kondratiev

Browse the full ECAI paper archive.