Romain Pascual
  • About Me
  • Experience
  • Development
  • Publications
  • Talks
  • Teaching
    • Data, Data Storage, Data Collection
    • Fiches Pédagologiques Filière Métiers de la Recherche
    • A Journey into Automated Reasoning
    • Formal Systems II: Theory
    Teaching
    A Journey into Automated Reasoning

    A Journey into Automated Reasoning

    Seminar for the 2nd year Students in the Bachelor AIDAMS.

    • Slides presented in the seminar.
    • Demo file for the graph coloring problem.
    • Exercises.
    • Tutorial.
    Last updated on Sep 5, 2026
    ← Data, Data Storage, Data Collection Sep 14, 2025
    Formal Systems II: Theory May 1, 2024 →

    © 2022 Romain Pascual

    Published with Hugo Blox Builder — the free, open source website builder that empowers creators.