Article Scopus
Lecture Notes in Computer Science  (2011)

A Framework for Autonomous Search in the Eclipse Solver

B. Crawford; R. Soto; M. Montecinos; C. Castro; E. Monfroy

Más información

Título de la Revista: Lecture Notes in Computer Science
Volumen: 6703
Editorial: Springer
Fecha de publicación: 2011
Página de inicio: 79
Página final: 84
DOI/URL:

10.1007/978-3-642-21822-4_9