unset title
>
Event_plural
>
Faster k-SAT algorithms using biased-PPSZ
login
login
password
log in
cancel
search
actions - event
state: published
cancelpublished
view workflow
Faster k-SAT algorithms using biased-PPSZ
old_uid
17420
title
Faster k-SAT algorithms using biased-PPSZ
start_date
2019/02/26
schedule
11h
online
no
responsibles
Hamoudi
hosted_by
Université Paris Cité
speakers
Zwick
event_of
Algorithmes et complexité (séminaire de l’Institut de Recherche en Informatique Fondamentale (IRIF), UMR 8243 CNRS, Université Paris Diderot - Paris 7) (2018)