JOSEP
ARGELICH ROMA
CON
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
Lisboa, PortugalPublicaciones en colaboración con investigadores/as de Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento (10)
2012
-
Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT
Journal of Multiple-Valued Logic and Soft Computing
2011
-
Boolean lexicographic optimization: Algorithms & applications
Annals of Mathematics and Artificial Intelligence, Vol. 62, Núm. 3-4, pp. 317-343
2010
-
Boolean lexicographic optimization
CEUR Workshop Proceedings
-
New insights into encodings from MaxCSP into partial MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
2009
-
CNF instances from the software package installation problem
CEUR Workshop Proceedings
-
On solving boolean multilevel optimization problems
IJCAI International Joint Conference on Artificial Intelligence
-
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)