Export 7 results:
Autor Títol Tipus [ Any(Asc)]
Filtres: Paraula Clau is Max-SAT  [Clear All Filters]
2010
Li CMin, Manyà F, Quan Z, Zhu Z.  2010.  Exact MinSAT Solving. International Conference on Theory and Applications of Satisfiability Testing (SAT). 6175:363-368.
Argerlich J., Cabiscol A, Lynce I, Manyà F.  2010.  New Insights into Encodings from MaxCSP into Partial MaxSAT. 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL). :46-52.
Li CMin, Manyà F, Mohamedou NOuld, Planes J.  2010.  Resolution-Based Lower Bounds in MaxSAT. Constraints. 15:29.
2009
Li CMin, Manyà F.  2009.  MaxSAT, Hard and Soft Constraints. Handbook of Satisfiability. 185:613-631.
2008
Argerlich J., Cabiscol A, Lynce I, Manyà F.  2008.  Modelling Max-CSP as Partial Max-SAT. 11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008). 4996:1-14.
Argerlich J., Li CMin, Manyà F, Planes J.  2008.  The First and Second Max-SAT Evaluations. Journal on Satisfiability, Boolean Modeling and Computation. 4:251-278.
2007
Bonet MLuisa, Levy J, Manyà F.  2007.  Resolution for Max-SAT. Artificial Intelligence. 171:606-618.