Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
Prochaine révision Les deux révisions suivantes
research:satminer [2014/02/26 09:00]
ecoquery [SATMiner]
research:satminer [2014/04/15 15:03]
ecoquery [SATMiner]
Ligne 2: Ligne 2:
  
 SATMiner is a library for searching interesting patterns using constraint programming/SAT backend.  SATMiner is a library for searching interesting patterns using constraint programming/SAT backend. 
-It is developed as a prototype for the [[http://liris.cnrs.fr/dag|DAG]] project, in collaboration with people at [[http://www.cril.univ-artois.fr/decMining/|CRIL]].+It was initially developed as a prototype for the [[http://liris.cnrs.fr/dag|DAG]] project, in collaboration with people at [[http://www.cril.univ-artois.fr/decMining/|CRIL]].
  
 It is currently used as a basis for experiments on SAT/pseudo boolean based pattern mining on: It is currently used as a basis for experiments on SAT/pseudo boolean based pattern mining on:
   * sequences   * sequences
-  * attributes sets in relational data (RLT language)+  * attributes sets in relational data (SatQL language)
  
 The current version is coded in Java and uses [[http://www.sat4j.org/|SAT4J]] and a modified version of [[http://minisat.se/|MiniSat]] as backends. It also uses [[http://boolvar.sourceforge.net/|BoolVar/PB]] for translation of some pseudo-boolean constraints to SAT. The current version is coded in Java and uses [[http://www.sat4j.org/|SAT4J]] and a modified version of [[http://minisat.se/|MiniSat]] as backends. It also uses [[http://boolvar.sourceforge.net/|BoolVar/PB]] for translation of some pseudo-boolean constraints to SAT.
Ligne 14: Ligne 14:
 SVN, stable branch: https://svn.liris.cnrs.fr/ecoquery/satminer/branches/stable SVN, stable branch: https://svn.liris.cnrs.fr/ecoquery/satminer/branches/stable
  
 +  * {{:research:satminer-2014-04-15.tbz|source}} (2014-04-15, added IF THEN, LIKE, LIMIT to SatQL,  [[http://liris.cnrs.fr/~ecoquery/files/satminer-2014-04-15-with-bench-data.tbz|version including bench datasets]])
   * {{:research:satminer-2014-02-18.tgz|source}} (2014-02-18, includes Boolvar/PB and a modified version of minisat, fixes compilation problems)   * {{:research:satminer-2014-02-18.tgz|source}} (2014-02-18, includes Boolvar/PB and a modified version of minisat, fixes compilation problems)
   * {{:research:satminer-2014-02-17.tgz|source}} (2014-02-17, includes Boolvar/PB and a modified version of minisat)   * {{:research:satminer-2014-02-17.tgz|source}} (2014-02-17, includes Boolvar/PB and a modified version of minisat)
Ligne 20: Ligne 21:
   * [[http://liris.cnrs.fr/~ecoquery|Emmanuel Coquery]] (LIRIS)   * [[http://liris.cnrs.fr/~ecoquery|Emmanuel Coquery]] (LIRIS)
   * [[http://www.cril.univ-artois.fr/~jabbour/|Said Jabbour]] (CRIL)   * [[http://www.cril.univ-artois.fr/~jabbour/|Said Jabbour]] (CRIL)
 +  * [[http://liris.cnrs.fr/~jmpetit|Jean-Marc Petit]] (LIRIS)
   * [[http://www.cril.univ-artois.fr/~sais/|Lakhdar Sais]] (CRIL)   * [[http://www.cril.univ-artois.fr/~sais/|Lakhdar Sais]] (CRIL)