Seeking Practical CDCL Insights from Theoretical SAT Benchmarks.

Jan Elffers, Jess Girldez-Cru, Stephan Gocht, Jakob Nordstrm, Laurent Simon

Browse the full IJCAI paper archive.