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 
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
Contributor : Eric Monfroy Connect in order to contact the contributor
Submitted on : Monday, October 21, 2013 - 2:39:42 PM
Last modification on : Wednesday, April 27, 2022 - 3:42:49 AM


  • HAL Id : hal-00875227, version 1


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⟩



Record views