Ci-dessous, les différences entre deux révisions de la page.
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 [2013/09/30 06:53] ecoquery [Related publications] |
research:satminer [2014/04/15 15:03] ecoquery [SATMiner] |
||
---|---|---|---|
Ligne 2: | Ligne 2: | ||
SATMiner is a library for searching interesting patterns using constraint programming/ | SATMiner is a library for searching interesting patterns using constraint programming/ | ||
- | It is developed as a prototype for the [[http:// | + | It was initially |
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:// | The current version is coded in Java and uses [[http:// | ||
Ligne 12: | Ligne 12: | ||
===== Download ===== | ===== Download ===== | ||
- | Upcoming | + | SVN, stable branch: https://svn.liris.cnrs.fr/ |
+ | |||
+ | * {{: | ||
+ | * {{: | ||
+ | * {{: | ||
===== Involved people ===== | ===== Involved people ===== | ||
* [[http:// | * [[http:// | ||
* [[http:// | * [[http:// | ||
+ | * [[http:// | ||
* [[http:// | * [[http:// | ||
===== Related publications ===== | ===== Related publications ===== | ||
- | * Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi: //A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence//. ECAI 2012: 258-263 {{: | + | * Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi: //A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence// |
* Emmanuel Coquery, Jean-Marc Petit, Lakhdar Sais: //Using SAT and SQL for Pattern Mining in relational databases// | * Emmanuel Coquery, Jean-Marc Petit, Lakhdar Sais: //Using SAT and SQL for Pattern Mining in relational databases// | ||
- | * Emmanuel Coquery, Saïd Jabbour, Lakhdar Sais: //A Constraint Programming Approach for Enumerating Motifs in a Sequence//. ICDM Workshops 2011: 1091-1097 | + | * Emmanuel Coquery, Saïd Jabbour, Lakhdar Sais: //A Constraint Programming Approach for Enumerating Motifs in a Sequence// |