Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel GUNSAT
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

Logiciels et brevets
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAGE-COMBINAT
Améliorer les fonctionnalités combinatoires de Sage

PINT
Static analyzer for dynamics of Automata Networks