Youming Liu PRO

Run exhaustive SAT search for the Kobon Triangle problem

Run an exhaustive SAT search for the Kobon Triangle problem

Run SAT search to verify Kobon triangle problem

Run an exhaustive SAT search for the Kobon Triangle problem

Run an exhaustive SAT search for the Kobon triangle problem