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
BOLDR
Query Intermediate Representation Library

CARNAVAL
Database of RNA Recurrent Interaction Networks

PINT
Static analyzer for dynamics of Automata Networks