Valentin Mayer-Eichberger

I'm a Phd Student in Computer Science at UNSW/Australia. My research is in the field of Boolean Satisfiability. See my page Google Scholar for list of publications and my LinkedIn Page for a CV. If you are interested in some source code I wrote, check my public github repository . There is not much more to say about me, other than about me.