Using Backdoors to Generate Learnt Information in SAT Solving.

Alexander Andreev, Konstantin Chukharev, Stepan Kochemazov, Alexander A. Semenov

Browse the full ECAI paper archive.