Observatorio de I+D+i UPM

Descripción
Planning as satisfiability is one of the most efficient ways to solve classic automated planning problems. In SAT planning, the encoding used to convert the problem to a SAT formula is critical for the performance of the SAT solver. This paper presents a novel bit-encoding that reduces the number of bits required to represent actions in a SAT-based automated planning problem. To obtain such encoding we first build a conflict graph,
Internacional	Si
Nombre congreso	International Conference on Mathematical Methods & Computational Techniques in Science & Engineering (MMCTSE) 2017
Tipo de participación	960
Lugar del congreso	Cambridge, UK
Revisores	Si
ISBN o ISSN	978-0-7354-1552-2
DOI
Fecha inicio congreso	24/02/2017
Fecha fin congreso	26/02/2017
Desde la página	1
Hasta la página	11
Título de las actas	AIP Conference Proceedings 1872, 020015 (2017)

Esta actividad pertenece a memorias de investigación

• Autor: Cristobal Tapia Garcia (UPM)
• Autor: Pablo San Segundo Carrillo (UPM)
• Autor: Ramon Galan Lopez (UPM)

• Creador: Centro o Instituto I+D+i: Centro de Automática y Robótica (CAR). Centro Mixto UPM-CSIC
• Departamento: Automática, Ingeniería Eléctrica y Electrónica e Informática Industrial
• Departamento: Ingeniería Eléctrica, Electrónica Automática y Física Aplicada