Felip
Manyà Serres
Publicaciones en las que colabora con Felip Manyà Serres (12)
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
-
Generating hard instances for MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
-
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)
2007
-
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626
2004
-
The interface between P and NP in signed CNF formulas
Proceedings of The International Symposium on Multiple-Valued Logic
2002
-
Minimal and redundant SAT encodings for the all-interval-series problem
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
2001
-
Capturing structure with satisfiability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Extending the reach of SAT with many-valued logics
Electronic Notes in Discrete Mathematics, Vol. 9, pp. 392-407