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
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library