Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software GUNSAT
GUNSAT - GUNSAT, a greedy local search algorithm for unsatisfiability
Date of the last release: 07 January 2008

Person in charge : SIMON Laurent


This algorithm, coded in java, is a first step to propose the first incomplete schema for unsatisfiability, in the boolean framework (SAT).

More information: http://www.lri.fr/~simon

Software



Research activities
  SAT

Members
  SIMON Laurent

Group
  Large-scale Heterogeneous DAta and Knowledge

Software & patents
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library