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 metadatas

https://hal.inria.fr/hal-00874297
Contributor : Contraintes Lina <>
Submitted on : Thursday, October 17, 2013 - 3:00:56 PM
Last modification on : Friday, July 10, 2020 - 8:10:04 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

622