ConferencePaper SCOPUS
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  (2011)

A framework for autonomous search in the Eclipse solver

Crawford, B; Montecinos, M; Monfroy, E

Más información

Título según SCOPUS: A framework for autonomous search in the Eclipse solver
Título de la Revista: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen: 6703 LNAI
Número: PART 1
Editorial: Springer
Fecha de publicación: 2011
Página de inicio: 79
Página final: 84
Idioma: English
DOI:

10.1007/978-3-642-21822-4_9
Notas: SCOPUS