#Vestigium: A formalised polynomial-time reduction from 3SAT to Clique. https://www.glc.us.es/~jalonso/vestigium/resena-a-formalised-polynomial-time-reduction-from-3sat-to-clique/ … #ITP #Coq #SAT
05:01 - 1. velj 2020.
0 replies
1 proslijeđeni tweet
3 korisnika označavaju da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.