4 ms·

I started off thinking it was another gpgpu application but the theory of boolean implications is something new to learn. thanks for the article.