CRIL
Computer science Research Institute of Lens
Artificial intelligence research and its applications
  • Themes
    • Laboratory

    • Data
    • Knowledge
    • Constraints

    • Explainable AI
    • AI at the service of other disciplines
  • Projects
    • Ongoing
    • Recents
    • Partners
  • Output
    • PhD theses & HDR
    • Publications
    • Software
    • Data
    • Awards
    • Scientific mediation
  • News
    • News
    • Seminars
  • Directory
  • Practical information
    • Location
    • Contact
    • Organization
  • Recruitment
  • English
    • Français

Extensions of Tractable Classes for Propositional Satisfiability

  • PhD Student:
  • Al-Saedi Mohammad Saleh Balasim
  • Advisor :
  • Éric Grégoire
  • Co-Supervisors :
  • Bertrand Mazure
  • Lakhdar Saïs
  • PhD defended on :
  • Nov 14, 2016 • Faculty of Sciences, Amphi S25
  • Acces document

CNRS

  • Contact Us
  • +33 (0)3 21 79 17 23
  • gestion@cril.univ-artois.fr
  • Our Addresses
    main postal address
  • FAC UFR des Sciences Jean Perrin
    Rue Jean Souvraz SP 18
    F-62307 Lens Cedex
    France
  •  
     
  • IUT IUT de Lens
    Rue de l’Université SP 16       
    F-62307 Lens Cedex
    France

Artois

Site Credits | Intranet