Found 2 results
Filters: keyword is Max-CSP [Clear All Filters]
2010
"New Insights into Encodings from MaxCSP into Partial MaxSAT",
40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), Barcelona, IEEE Computer Society, pp. 46-52, 2010.
2008
"Modelling Max-CSP as Partial Max-SAT",
11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008). LNCS, vol. 4996, Guangzhou, China, Springer, pp. 1-14, 2008.
Abstract