1.0 / March 29, 2016
(5.0/5) (Learn More</a></div>)
Loading...

Description

Jeux de réflexion. Pour chaque couleur, il faut enlever tous lesjetons carrés ou tous les ronds. Il doit rester au moins un jetondans chaque boite.Ce jeu est une représentation ludique du problèmeSAT : déterminer si une formule propositionnelle sous forme CNF estcohérente.( Explications ici http://arxiv.org/abs/1511.00813 )D'après une idée de Olivier Bailleux.Application développée dans lecadre d'un projet de la licence professionnelle SIL de l'Universitéde Bourgogne.Mind games.For each color, remove all the squares orchips all round. There must be at least a token in each box.Thisgame is a fun representation of the SAT problem: whether apropositional formula in CNF is consistent.(Explanation herehttp://arxiv.org/abs/1511.00813)From an idea by OlivierBailleux.Application developed in the framework of a project of theprofessional license SIL University of Burgundy.

App Information Jeu des jetons colorés

  • App Name
    Jeu des jetons colorés
  • Package Name
    com.JeuDesJetonsColores.lpsil
  • Updated
    March 29, 2016
  • File Size
    1.4M
  • Requires Android
    Android 4.0.3 and up
  • Version
    1.0
  • Developer
    DEROM Rémi
  • Installs
    10+
  • Price
    Free
  • Category
    Puzzle
  • Developer
  • Google Play Link

DEROM Rémi Show More...

Jeu des jetons colorés 1.0 APK
DEROM Rémi
Jeux de réflexion. Pour chaque couleur, il faut enlever tous lesjetons carrés ou tous les ronds. Il doit rester au moins un jetondans chaque boite.Ce jeu est une représentation ludique du problèmeSAT : déterminer si une formule propositionnelle sous forme CNF estcohérente.( Explications ici http://arxiv.org/abs/1511.00813 )D'après une idée de Olivier Bailleux.Application développée dans lecadre d'un projet de la licence professionnelle SIL de l'Universitéde Bourgogne.Mind games.For each color, remove all the squares orchips all round. There must be at least a token in each box.Thisgame is a fun representation of the SAT problem: whether apropositional formula in CNF is consistent.(Explanation herehttp://arxiv.org/abs/1511.00813)From an idea by OlivierBailleux.Application developed in the framework of a project of theprofessional license SIL University of Burgundy.
Loading...