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 <>
Submitted on : Monday, October 21, 2013 - 2:39:42 PM
Last modification on : Thursday, July 26, 2018 - 12:16:02 PM


  • 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