Skip to Main content Skip to Navigation
Conference papers

A Framework for Autonomous Search in the Eclipse Solver.

Broderick Crawford 1 Ricardo Soto 1 M. Montecinos 1 C. Castro 2 E. Monfroy 3
1 Escuela de Ingenieria Informatica [Valparaíso]
2 Departamento de Informatica [Valparaíso, Chile]
3 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00875227
Contributor : Eric Monfroy <>
Submitted on : Monday, October 21, 2013 - 2:39:42 PM
Last modification on : Thursday, July 26, 2018 - 12:16:02 PM

Identifiers

  • HAL Id : hal-00875227, version 1

Collections

CNRS | INRIA | UNIV-NANTES | LINA | LINA-TASC

Citation

Broderick Crawford, Ricardo Soto, M. Montecinos, C. Castro, E. Monfroy. A Framework for Autonomous Search in the Eclipse Solver.. The 24th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE), 2011, Syracuse University, NYS, USA, United States. ⟨hal-00875227⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

179

 

Contact                    Legal Notice                    Personal Data