Found 1 results
Filters: keyword is Min-SAT [Clear All Filters]
2010
"Exact MinSAT Solving",
International Conference on Theory and Applications of Satisfiability Testing (SAT). LNCS, vol. 6175, Edinburgh, UK, Springer, pp. 363-368, 2010.
New Publications
- 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
- Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties
- A logical approach to fuzzy truth hedges
- Efficient Operations in Feature Terms using Constraint Programming
