Ines
Lynce
Publicaciones en las que colabora con Ines Lynce (6)
2012
-
Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT
Journal of Multiple-Valued Logic and Soft Computing
2010
-
New insights into encodings from MaxCSP into partial MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
2009
-
Regular encodings from Max-CSP into partial Max-SAT
Proceedings of The International Symposium on Multiple-Valued Logic
-
Sequential encodings from Max-CSP into partial Max-SAT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
Encoding Max-CSP into partial Max-SAT
Proceedings of The International Symposium on Multiple-Valued Logic
-
Modelling Max-CSP as partial Max-SAT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)