Carregant...
Carregant...

Vés al contingut (premeu Retorn)

LOGPROG - Lògica i Programació

Total activitats: 500
Tipus
Grup de recerca
Tipus de grup
Grup de recerca UPC
Acrònim
LOGPROG
URL
http://www.lsi.upc.es/~roberto/ Obrir en finestra nova
Objectius
La recerca del nostre grup "Lògica i Programació" s'emmarca en el desenvolupament de tècniques i eines per a l'aplicació de la lògica a la resolució de sistemes de restriccions. Més concretament, les principals línies de la nostra investigació es basen per una banda en (a) l'estudi de mètodes de resolució de problemes mitjançant resolvedors de satisfactibilitat proposicional (SAT), de satisfactibilitat mòdul teories (SMT), de programació amb restriccions (CP), i d'extensions d'aquests a optimització (Max-SAT, Max-SMT); i (b) per una altra en l'aplicació d'aquests mètodes per atacar problemes complexos d'interès pràctic, com ara de planificació industrial o d'anàlisis de programes. Mentre que la recerca de tipus més teòric és presentada a les conferències i revistes internacionals de més prestigi de les respectives àrees, els resultats en la vessant més pràctica es materialitzen en transferència de tecnologia en empreses tant de dins com de fora de Catalunya.
Paraules clau
Anàlisi de Programes, Constraint Programming, Lògica Informàtica, Satisfactibilitat Mòdul Teories, Satisfactibilitat Proposicional
Completa aquestes dades (només responsables)

Producció científica

1 a 50 de 500 resultats