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
A Hybrid Bit-encoding for SAT Planning Based on Clique-Partitioning
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
0094-243X
DOI
10.1063/1.4996672
Fecha inicio congreso
24/02/2017
Fecha fin congreso
26/02/2017
Desde la página
1
Hasta la página
8
Título de las actas
AIP Conference Proceedings
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: Grupo de Investigación: Control Inteligente
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)