Alba Cabiscol (5 publications)
2012
"Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT",
Multiple-Valued Logic and Soft Computing, vol. 19, issue 1-3, pp. 3-23, 2012.
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.
2009
"Sequential Encodings from Max-CSP into Partial Max-SAT",
12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009), vol. LNCS 5584, Swansea, UK, pp. 161-166, 2009.
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
"Regular-SAT: A Many-Valued Approach to Solving Combinatorial Problems",
Discrete Applied Mathematics, vol. 155, no. 12, pp. 1613-1626, 2007.