Jan Elffers

E-mail: elffers@kth.se

I am a PhD student in the Theoretical Computer Science group at KTH Royal Institute of Technology. I work on SAT solving, within the Proof complexity and SAT solving project supervised by prof. Jakob Nordström.

Publications