Found 4 results
Filters: keyword is CSP [Clear All Filters]
2011
"Two-sided Function Filtering",
11th Workshop on Preferences and Soft Constraints, Perugia - Italy, pp. 104-112, 12/09/2011.
Abstract
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
2007
"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.
Abstract