Posts by Category

cats

Back to top ↑

Algorythms

Solve CNF with Tarjan

17 minute read

Today I want to describe my journey of writing a purely functional implementation for solving 2-satisfiability problem. Essentially it is a problem of assign...

Back to top ↑

applications

Back to top ↑

scala

Back to top ↑