CRIL
Computer science Research Institute of Lens
Artificial Intelligence Research and Applications
  • Presentation
    • Topics
    • Organization
    • News
  • Research axes
    • Data
    • Knowledge
    • Constraints
  • Activities
    • PhD theses & HDR
    • Projects/Collaborations/Actions
    • Seminars
  • Research Output
    • Publications
    • Software
    • Data
    • Awards
  • Directories
    • Members
    • Partners
  • Practical information
    • Location
    • Contact
  • 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