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:08] ecoquery |
| |
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 the [[http://boolvar.sourceforge.net/|BoolVar/PB]] library, as well as an implementation of [[http://dl.acm.org/citation.cfm?id=1575495|cardinality networks]] for translation of some pseudo-boolean constraints to SAT. |
| |
===== Download ===== | ===== Download ===== |
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) |
* [[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) |
| |