Publications

Export 1 results:
Filters: Keyword is NP-hard  [Clear All Filters]
2020
R. Zennou, Atig, M. F., Biswas, R., Bouajjani, A., Enea, C., et Erradi, M., « Boosting Sequential Consistency Checking Using Saturation », Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12302 LNCS, p. 360-376, 2020.

Partenaires

Localisation

Suivez-nous sur

         

    

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

  Télécopie : (+212) 5 37 68 60 78

  Secrétariat de direction : 06 61 48 10 97

        Secrétariat général : 06 61 34 09 27

        Service des affaires financières : 06 61 44 76 79

        Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma

        CEDOC ST2I : 06 66 39 75 16

        Résidences : 06 61 82 89 77

Contacts

    

    Compteur de visiteurs:637,420
    Education - This is a contributing Drupal Theme
    Design by WeebPal.