Position: 
Co-Autors
5 Publications
2012
2010
J. Argerlich, Alba Cabiscol, Ines Lynce, Felip Manyà; New Insights into Encodings from MaxCSP into Partial MaxSAT. 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL); 2010.
2009
J. Argerlich, Alba Cabiscol, Ines Lynce, Felip Manyà; Sequential Encodings from Max-CSP into Partial Max-SAT. 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009); 2009.
2008
J. Argerlich, Alba Cabiscol, Ines Lynce, Felip Manyà; Modelling Max-CSP as Partial Max-SAT. 11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008); 2008.
2007
 

No results found