search

wimmers / poly-reductions

Polynomial-time reductions in Isabelle/HOL
2 stars 13 forks source link

Refine the reduction from SAT to 3-SAT #11

Open wimmers opened 4 years ago

wimmers commented 4 years ago

We do not need this for Cook-Levin but to make our Zoo meaningful. Critical path: #5