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
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, June 22, 2018 - 9:32:42 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

595