DUGi: Browse by Title | dc.subject:"Applied logic" | 0 - 1

Browse by Title

One item found:

1

Format	Date	Title	Author
Format	Date	Title	Author
	2018 November 15	SMT techniques for planning problems	Espasa Arxer, Joan

1

Subjects

Numeric planning Automated planning Satisfiability modulo theories Planificación automática Lógica aplicada Applied logic Lògica aplicada

Authors

Villaret i Ausellé, Mateu Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Bofill Arasa, Miquel Espasa Arxer, Joan