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

Towards automated strategies in satisfiability modulo theory

Hamadi Y.; Monfroy, E; Saubion, F

Más información

Título según WOS: ID WOS:000894258400015 Not found in local WOS DB
Título según SCOPUS: Towards automated strategies in satisfiability modulo theory
Título de la Revista: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen: 9594
Editorial: Springer
Fecha de publicación: 2016
Página de inicio: 230
Página final: 245
Idioma: English
DOI:

10.1007/978-3-319-30668-1_15
Notas: ISI, SCOPUS