Email: 
josep@sat.inesc-id.pt
Position: 
Former PhD students
12 Publications
2012
2011
J. Argerlich, Chu Min Li, Felip Manyà, Jordi Planes; Analyzing the Instances of the MaxSAT Evaluation. 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011; 2011.
J. Argerlich, Chu Min Li, Felip Manyà, Jordi Planes; Experimenting with the Instances of the MaxSAT Evaluation. 14th International Conference of the Catalan Association for Artificial Intelligence; 2011.
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, Felip Manyà; A Preprocessor for Max-SAT Solvers. 11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008); 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.
J. Argerlich, Chu Min Li, Felip Manyà, Jordi Planes; The First and Second Max-SAT Evaluations. Journal on Satisfiability, Boolean Modeling and Computation; 2008.
2006
J. Argerlich, Xavier Domingo, Chu Min Li, Felip Manyà, J. Planes; Towards Solving Many-Valued MaxSAT. Proceedings, 36th International Symposium on Multiple-Valued Logics (ISMVL-2006), Singapore; 2006.
2005
 

No results found