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

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE