SITE TREE
Quant a l'IIIA
Departaments
Recerca
Transferència de tecnologia
Persones
Activitats
Biblioteca
Monografies
Vine amb nosaltres
Noves Publicaciones
A time series dissimilarity measure based on minimum jump costs
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
Removing Redundant Messaegs in N-ary BnB-ADOPT
Opening the black box of trust: reasoning about trust models in a BDI agent
Català
English
Español
Inici
Contacte
Mapa Web
LOGIN
Publicacions
New Insights into Encodings from MaxCSP into Partial MaxSAT
encodings
Max-CSP
Max-SAT
Publication Type:
Conference Paper
Authors:
J. Argerlich
;
Alba Cabiscol
;
Ines Lynce
;
Felip Manyà
Source:
40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), IEEE Computer Society, Barcelona, p.46-52 (2010)
ISBN:
978-0-7695-4024-5
Keywords:
Max-SAT
;
Max-CSP
;
encodings
Tagged
XML
BibTex
Projectes:
AT
»
Versió per imprimir
eMail a un amic
desarrollo web innodus