Felip
Manyà Serres
Publicaciones en las que colabora con Felip Manyà Serres (20)
2021
-
Clause tableaux for maximum and minimum satisfiability
Logic Journal of the IGPL, Vol. 29, Núm. 1, pp. 7-27
2018
-
Clause Branching in MaxSAT and MinSAT
Frontiers in Artificial Intelligence and Applications
2017
-
Exploiting Many-Valued Variables in MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
2014
-
Many-valued MinSAT solving
Proceedings of The International Symposium on Multiple-Valued Logic
2013
-
MinSAT versus MaxSAT for optimization problems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
A new encoding from MinSAT into MaxSAT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT
Journal of Multiple-Valued Logic and Soft Computing
2011
-
Analyzing the instances of the MaxSAT evaluation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Experimenting with the instances of the MaxSAT evaluation
Frontiers in Artificial Intelligence and Applications
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
-
A preprocessor for Max-SAT solvers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
Partial Max-SAT solvers with clause learning
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006
-
Exact Max-SAT solvers for over-constrained problems
Journal of Heuristics
-
Towards solving many-valued MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
2005
-
Solving over-constrained problems with SAT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Solving over-constrained problems with SAT technology
Lecture Notes in Computer Science