Limits of CDCL Learning via Merge Resolution.

Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh

Browse the full SAT paper archive.