Evènement pour le groupe Séminaire Méthodes Formelles

Date 2016-10-11  11:00-12:00
TitreWalking the Boundary Between Tractability and Intractability 
RésuméI will give an overview of some of my past and expected future research. I will focus on complexity classification theorems — which classify (or attempt to classify) all problems in some problem family of interest — and their interactions with other areas of theoretical computer science. In particular, I will discuss work on the template-restricted constraint satisfaction problem and variants thereof; and, work on model checking first-order logic with respect to different classes of sentences. 
OrateurHubie Chen 
UrlUniversidad del País Vasco 

Aucun document lié à cet événement.

Retour à l'index