Found 7 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: keyword is Max-SAT  [Clear All Filters]
2010
Chu Min Li; Felip Manyà; Nouredine Ould Mohamedou; Jordi Planes "Resolution-Based Lower Bounds in MaxSAT", Constraints, vol. 15, issue 4, pp. 29, 08/2010. Abstract
Export: Tagged - XML - BibTex
Chu Min Li; Felip Manyà; Zhe Quan; Zhu Zhu "Exact MinSAT Solving", International Conference on Theory and Applications of Satisfiability Testing (SAT). LNCS, vol. 6175, Edinburgh, UK, Springer, pp. 363-368, 2010.
Export: Tagged - XML - BibTex
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), Barcelona, IEEE Computer Society, pp. 46-52, 2010.
Export: Tagged - XML - BibTex
2009
Chu Min Li; Felip Manyà "MaxSAT, Hard and Soft Constraints", Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185: IOS Press, pp. 613-631, 2009. Abstract
Export: Tagged - XML - BibTex
2008
J. Argerlich; Chu Min Li; Felip Manyà; Jordi Planes "The First and Second Max-SAT Evaluations", Journal on Satisfiability, Boolean Modeling and Computation, vol. 4, pp. 251-278, 09/2008. Abstract
Export: Tagged - XML - BibTex
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). LNCS, vol. 4996, Guangzhou, China, Springer, pp. 1-14, 2008. Abstract
Export: Tagged - XML - BibTex
2007
María Luisa Bonet; Jordi Levy; Felip Manyà "Resolution for Max-SAT", Artificial Intelligence, vol. 171, no. 8-9, pp. 606-618, 2007. Abstract
Export: Tagged - XML - BibTex