Hi, I am a PhD student at the Scalable Automated Reasoning group at the Karlsruhe Institute of Technology (KIT). I research distributed and parallel SAT solving.
On this site I keep notes on SAT-related topics.
Hi, I am a PhD student at the Scalable Automated Reasoning group at the Karlsruhe Institute of Technology (KIT). I research distributed and parallel SAT solving.
On this site I keep notes on SAT-related topics.