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⟩