Connecting ABT with a SAT solver
- Giráldez-Crú, J.
- Martín-Sánchez, G.
- Meseguer, P.
ISSN: 0922-6389
ISBN: 9781614996811
Año de publicación: 2016
Volumen: 284
Páginas: 179-184
Tipo: Aportación congreso
Colección de libros:
Frontiers in Artificial Intelligence and Applications