Show that reduction from IMP- to SAS+ is polynomial time - Githubissues

wimmers / poly-reductions

Polynomial-time reductions in Isabelle/HOL

2 stars 13 forks source link

Show that reduction from IMP- to SAS+ is polynomial time #9

Open wimmers opened 4 years ago

wimmers commented 4 years ago

This is necessary for Cook-Levin.

Critical path: #8