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
Exact MinSAT Solving
Max-SAT
Min-SAT
Tipo de Publicación:
Conference Paper
Autores:
Chu Min Li
;
Felip Manyà
;
Zhe Quan
;
Zhu Zhu
Origen:
International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Volumen6175, Edinburgh, UK, p.363-368 (2010)
ISBN:
978-3-642-14185-0
Palabras clave:
Min-SAT
;
Max-SAT
Marcado
XML
BibTex
Proyectos:
AT
»
Versión para imprimir
eMail a un amigo
desarrollo web innodus