SITE TREE
Acerca del IIIA
Departamentos
Investigación
Transferencia de tecnología
Personas
Actividades
Biblioteca
Monografías
Ven con nosotros
Últimas Tesis
Encodings and Benchmarks for MaxSAT Solving
Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view,
Distributed Constraint Optimization Related with Soft Arc Consistency
Using Norms to Control Open Multi-agent Systems
Facing the challenge of automated negotiation with humans
Trust Alignment and Adaptation: Two Approaches for Talking about Trust in Multi-Agent Systems
Intelligent Generation and Control of Interactive Virtual Worlds
Leer más >>
Català
English
Español
Inicio
Contacto
Mapa Web
LOGIN
Encodings and Benchmarks for MaxSAT Solving
Autor:
Alba Cabiscol
Año:
2012
Universidad:
Universitat de LLeida
Responsable:
Felip Manyà
Responsable:
Ramon Bejar
22/6/2012
»
Versión para imprimir
desarrollo web innodus
