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

From solving the SAT problem to solving problems around SAT

  • Author:
  • Lakhdar Saïs
  • HDR Defended on :
  • Dec 1, 2000

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