JOSEP
ARGELICH ROMA
CON
Instituto de Investigación en Inteligencia Artificial
Cerdanyola del Vallès, EspañaPublicaciones en colaboración con investigadores/as de Instituto de Investigación en Inteligencia Artificial (17)
2021
-
Clause tableaux for maximum and minimum satisfiability
Logic Journal of the IGPL, Vol. 29, Núm. 1, pp. 7-27
2018
-
A probabilistic author-centered model for twitter discussions
Communications in Computer and Information Science
-
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)
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