Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

https://hal.inria.fr/hal-00874297
Contributor : Contraintes Lina Connect in order to contact the contributor
Submitted on : Thursday, October 17, 2013 - 3:00:56 PM
Last modification on : Monday, February 15, 2021 - 10:37:28 AM

Identifiers

  • 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. The Sixth Annual Symposium on Combinatorial Search (SOCS'13), Jun 2013, Leavenworth, WA, United States. ⟨hal-00874297⟩

Share

Metrics

Record views

652