Poster on Sebastian Krings https://www.krin.gs/tags/poster/ Recent content in Poster on Sebastian Krings Hugo -- 0.166.0 en Thu, 10 Jul 2014 00:00:00 +0000 Turning Failure into Proof: The ProB Disprover https://www.krin.gs/papers/krings-disprover-poster-satsmt14/ Thu, 10 Jul 2014 00:00:00 +0000 https://www.krin.gs/papers/krings-disprover-poster-satsmt14/ Poster presented at SAT / SMT Summer School 2014