SITE TREE
Acerca del IIIA
Departamentos
Investigación
Transferencia de tecnología
Personas
Actividades
Biblioteca
Monografías
Ven con nosotros
Nuevas Publicaciones
Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties
Unsupervised music structure annotation by time series structure features and segment similarity
Folksonomy-based tag recommendation for collaborative tagging systems
The quest for the basic fuzzy logic
A time series dissimilarity measure based on minimum jump costs
A language for the execution of graded BDI agents
HANA: a Human-Aware Negotiation Architecture
Català
English
Español
Inicio
Contacto
Mapa Web
LOGIN
Publicaciones
New Insights into Encodings from MaxCSP into Partial MaxSAT
encodings
Max-CSP
Max-SAT
Tipo de Publicación:
Conference Paper
Autores:
J. Argerlich
;
Alba Cabiscol
;
Ines Lynce
;
Felip Manyà
Origen:
40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), IEEE Computer Society, Barcelona, p.46-52 (2010)
ISBN:
978-0-7695-4024-5
Palabras clave:
Max-SAT
;
Max-CSP
;
encodings
Marcado
XML
BibTex
Proyectos:
AT
»
Versión para imprimir
eMail a un amigo
desarrollo web innodus