cril

Centre de Recherche en Informatique de Lens

  • (current)
  • Presentation
    • Topics
    • Organization
    • Location
    • News
  • Research
    • Knowledge Representation and Reasonings
    • Algorithms for Inference and Constraints
    • PhD theses & HDR
    • Projects/Collaborations/Actions
    • Awards
    • Seminars
  • Research Output
    • Publications
    • Software
  • Directory
  • Contact
  • Language
    • French
    • English
    • German
  • Intranet

Knowledge compilation for model counting • Samuel Thomas

  • Co-Advisor :
  • Frédéric Koriche
  • Pierre Marquis
  • Co-Supervisor :
  • Jean-Marie Lagniez
  • Funding : Artois, Région HdF
  • PhD defended on :
  • 2016-12-14
  • •
  • faculty of science

Contact Us

  +33 (0)3 21 79 17 23
 

Our Addresses

  UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
F-62307 Lens Cedex
France
main postal address
  IUT de Lens
Rue de l’Université SP 16
F-62307 Lens Cedex
France


| Site Credits |