Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
A Hybrid Bit-encoding for SAT Planning Based on Clique-Partitioning
Year:2017
Research Areas
  • Artificial intelligence (neuronal nets, expert systems, etc),
  • Computer systems,
  • Electric engineers, electronic and automatic (eil)
Information
Abstract
A Hybrid Bit-encoding for SAT Planning Based on Clique-Partitioning
International
Si
Congress
International Conference on Mathematical Methods & Computational Techniques in Science & Engineering (MMCTSE) 2017
960
Place
Cambridge, UK
Reviewers
Si
ISBN/ISSN
0094-243X
10.1063/1.4996672
Start Date
24/02/2017
End Date
26/02/2017
From page
1
To page
8
AIP Conference Proceedings
Participants
  • Autor: Cristobal Tapia Garcia (UPM)
  • Autor: Pablo San Segundo Carrillo (UPM)
  • Autor: Ramon Galan Lopez (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Control Inteligente
S2i 2019 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)