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. Springer, 2011, Lecture Notes in Artificial Intelligence.
〈hal-00875227〉 