Exploiting Cycle Structures in Max-SAT
Tipo de Publicación:
Conference PaperOrigen:
12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009), Springer, Volumen5584, Swansea, UK, p.467-480 (2009)Proyectos:
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
