Josep Argelich Romà
AuthID: R-000-TA6
1
TITLE: Checking Robustness of Neural Network Models for the Classification of Malware
AUTHORS: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLISHED: 2024, SOURCE: 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
TITLE: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTHORS: Josep Argelichi; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLISHED: 2012, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, ISSUE: 1-3
AUTHORS: Josep Argelichi; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLISHED: 2012, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, ISSUE: 1-3
INDEXED IN: 
Scopus 
WOS
Scopus WOS3
TITLE: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTHORS: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLISHED: 2012, SOURCE: J. Multiple Valued Log. Soft Comput., VOLUME: 19, ISSUE: 1-3
AUTHORS: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLISHED: 2012, SOURCE: J. Multiple Valued Log. Soft Comput., VOLUME: 19, ISSUE: 1-3
INDEXED IN: 
DBLP
DBLP4
TITLE: New Insights into Encodings from MaxCSP into Partial MaxSAT
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLISHED: 2010, SOURCE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLISHED: 2010, SOURCE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
5
TITLE: Boolean Lexicographic Optimization PDF
AUTHORS: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLISHED: 2010, SOURCE: 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
AUTHORS: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus DBLP
Scopus DBLP6
TITLE: Solving Linux Upgradeability Problems Using Boolean Optimization PDF
AUTHORS: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Marques Silva ; Pascal Rapicault;
PUBLISHED: 2010, SOURCE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., VOLUME: 29
AUTHORS: Josep Argelich; Daniel Le Berre; Inês Lynce ; João Marques Marques Silva ; Pascal Rapicault;
PUBLISHED: 2010, SOURCE: Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010., VOLUME: 29
INDEXED IN: DBLP 
arXiv
DBLP arXiv7
TITLE: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLISHED: 2009, SOURCE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLISHED: 2009, SOURCE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584
8
TITLE: On Solving Boolean Multilevel Optimization Problems PDF
AUTHORS: Argelich, J; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
AUTHORS: Argelich, J; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2009, SOURCE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP9
TITLE: Regular Encodings from Max-CSP into Partial Max-SAT Full Text
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyá, F;
PUBLISHED: 2009, SOURCE: 39th International Symposium on Multiple-Valued Logic, ISMVL 2009 in ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyá, F;
PUBLISHED: 2009, SOURCE: 39th International Symposium on Multiple-Valued Logic, ISMVL 2009 in ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC
10
TITLE: Modelling Max-CSP as Partial Max-SAT
AUTHORS: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLISHED: 2008, SOURCE: 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
AUTHORS: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLISHED: 2008, SOURCE: 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
