Found 4 results
Filters: keyword is CSP [Clear All Filters]
"Two-sided Function Filtering", 11th Workshop on Preferences and Soft Constraints, Perugia - Italy, pp. 104-112, 12/09/2011.
"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.
"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.
"Inference Rules for High-Order Consistency in Weighted CSP", Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07, Vancouver, Canada, AAAI Press, pp. 167-172, 2007.