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
Exact MinSAT Solving
Max-SAT
Min-SAT
Publication Type:
Conference Paper
Authors:
Chu Min Li
;
Felip Manyà
;
Zhe Quan
;
Zhu Zhu
Source:
International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Volume 6175, Edinburgh, UK, p.363-368 (2010)
ISBN:
978-3-642-14185-0
Keywords:
Min-SAT
;
Max-SAT
Tagged
XML
BibTex
Projectes:
AT
»
Versió per imprimir
eMail a un amic
desarrollo web innodus