Export 7 results:
[ Autor(Desc)] Títol Tipus Any
Filtres: Paraula Clau is Max-SAT  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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.
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.
B
Bonet MLuisa, Levy J, Manyà F.  2007.  Resolution for Max-SAT. Artificial Intelligence. 171:606-618.
L
Li CMin, Manyà F, Mohamedou NOuld, Planes J.  2010.  Resolution-Based Lower Bounds in MaxSAT. Constraints. 15:29.
Li CMin, Manyà F.  2009.  MaxSAT, Hard and Soft Constraints. Handbook of Satisfiability. 185:613-631.
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.