Josep Argelich Romà
AuthID: R-000-TA6
1
TÃTULO: Checking Robustness of Neural Network Models for the Classification of Malware
AUTORES: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLICAÇÃO: 2024, FONTE: 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024 in Artificial Intelligence Research and Development - Proceedings of the 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024, Barcelona, Spain, 2-4 October 2024., VOLUME: 390
AUTORES: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLICAÇÃO: 2024, FONTE: 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024 in Artificial Intelligence Research and Development - Proceedings of the 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024, Barcelona, Spain, 2-4 October 2024., VOLUME: 390
2
TÃTULO: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTORES: Josep Argelichi; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, NÚMERO: 1-3
AUTORES: Josep Argelichi; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: 
Scopus 
WOS
Scopus WOS3
TÃTULO: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTORES: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLICAÇÃO: 2012, FONTE: J. Multiple Valued Log. Soft Comput., VOLUME: 19, NÚMERO: 1-3
AUTORES: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLICAÇÃO: 2012, FONTE: J. Multiple Valued Log. Soft Comput., VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: 
DBLP
DBLP4
TÃTULO: New Insights into Encodings from MaxCSP into Partial MaxSAT
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLICAÇÃO: 2010, FONTE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLICAÇÃO: 2010, FONTE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
5
TÃTULO: Boolean Lexicographic Optimization PDF
AUTORES: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLICAÇÃO: 2010, FONTE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010, VOLUME: 616
AUTORES: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLICAÇÃO: 2010, FONTE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010, VOLUME: 616
INDEXADO EM: Scopus DBLP
Scopus DBLP6
TÃTULO: Solving Linux Upgradeability Problems Using Boolean Optimization PDF
AUTORES: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Marques Silva ; Pascal Rapicault;
PUBLICAÇÃO: 2010, FONTE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., VOLUME: 29
AUTORES: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Marques Silva ; Pascal Rapicault;
PUBLICAÇÃO: 2010, FONTE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., VOLUME: 29
INDEXADO EM: DBLP 
arXiv
DBLP arXiv7
TÃTULO: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLICAÇÃO: 2009, FONTE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLICAÇÃO: 2009, FONTE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584
8
TÃTULO: On Solving Boolean Multilevel Optimization Problems PDF
AUTORES: Argelich, J; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
AUTORES: Argelich, J; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2009, FONTE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP9
TÃTULO: Regular Encodings from Max-CSP into Partial Max-SAT Full Text
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manyá, F;
PUBLICAÇÃO: 2009, FONTE: 39th International Symposium on Multiple-Valued Logic, ISMVL 2009 in ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manyá, F;
PUBLICAÇÃO: 2009, FONTE: 39th International Symposium on Multiple-Valued Logic, ISMVL 2009 in ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC
10
TÃTULO: Modelling Max-CSP as Partial Max-SAT
AUTORES: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008 in Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, VOLUME: 4996
AUTORES: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008 in Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, VOLUME: 4996
