Fran├žais Anglais
Accueil Annuaire Plan du site
Groups
Research activities: Sat



Groups
  Artificial Intelligence and Inference Systems

Joint Inria project teams


Research highlights
  HOL-Boogie - An Interactive Prover-Backend for the Verified C Compiler
  Glucose 2.1 SAT Solver won the SAT 2012 Challenge
  Glucose 2.3 best SAT Solver 2013 (Applications, Certified UNSAT)

Contracts & grants
  HOL-testGen XT

Software & patents
  GUNSAT

Collaborations


Members
  SIMON Laurent

Ph.D. dissertations & Faculty habilitations



Research activities