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
Pe

PeneLoPe

PeneLoPe stands for Parallel LBD and PSM. It is an evolution of ManySat using the notion of LBD used in Glucose to allow a better exchange of clauses.


Authors :
Gilles Audemard
Benoît Hoessen
Saïd Jabbour
Jean-Marie Lagniez
Cédric Piette

Archived software   

Go to the software webpage

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