GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials

Naina Razakarison 1 Nicolas Beldiceanu 2 Mats Carlsson 3 Helmut Simonis 4
2 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Type de document :
Communication dans un congrès
Helmert, Malte and Röger, Gabriele. The Sixth Annual Symposium on Combinatorial Search (SOCS'13), Jun 2013, Leavenworth, WA, United States. Malte Helmert and Gabriele Röger, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00874297
Contributeur : Contraintes Lina <>
Soumis le : jeudi 17 octobre 2013 - 15:00:56
Dernière modification le : vendredi 22 juin 2018 - 09:32:42

Identifiants

  • HAL Id : hal-00874297, version 1

Citation

Naina Razakarison, Nicolas Beldiceanu, Mats Carlsson, Helmut Simonis. GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. Helmert, Malte and Röger, Gabriele. The Sixth Annual Symposium on Combinatorial Search (SOCS'13), Jun 2013, Leavenworth, WA, United States. Malte Helmert and Gabriele Röger, 2013. 〈hal-00874297〉

Partager

Métriques

Consultations de la notice

556