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
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes 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 : mercredi 11 avril 2018 - 01:51:20

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

495