Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
A Hybrid Bit-encoding for SAT Planning Based on Clique-Partitioning
Año:2017
Áreas de investigación
  • Inteligencia artificial (redes neuronales, lógica borrosa, sistemas expertos, etc),
  • Informática,
  • Ingeniería eléctrica, electrónica y automática
Datos
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
Participantes
  • Autor: Cristobal Tapia Garcia (UPM)
  • Autor: Pablo San Segundo Carrillo (UPM)
  • Autor: Ramon Galan Lopez (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)