Différences

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

--- research:satminer [2014/04/15 15:00]
ecoquery [Download]
+++ research:satminer [2014/04/15 15:08]
ecoquery
@@ Ligne 2: / Ligne 2: @@
 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:
@@ Ligne 8: / Ligne 8: @@
   * 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 =====

Emmanuel COQUERY