GUNSAT - GUNSAT, a greedy local search algorithm for unsatisfiability
Date de dernière version : 07 janvier 2008

Responsable : SIMON Laurent


Cet algorithme, en java, est une première étape vers la recherche d'algorithmes incomplets et efficaces pour la réfutation, dans le cadre de la logique booléenne (SAT).

Pour en savoir plus: http://www.lri.fr/~simon

Logiciel



Activités de recherche
  SAT

Membres
  SIMON Laurent

Equipe
  Données et Connaissances Massives et Hétérogènes

CODALAB
open source framework for running competitions

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE