1
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
INDEXADO EM: Scopus WOS
2
TÍTULO: New Insights into Encodings from MaxCSP into Partial MaxSAT
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLICAÇÃO: 2010, FONTE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
INDEXADO EM: Scopus WOS CrossRef
3
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
INDEXADO EM: Scopus DBLP
4
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
INDEXADO EM: DBLP arXiv
5
TÍTULO: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
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
INDEXADO EM: Scopus WOS CrossRef
6
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
INDEXADO EM: Scopus WOS DBLP
7
TÍTULO: Modelling Max-CSP as partial Max-SAT
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4996 LNCS
INDEXADO EM: Scopus CrossRef
8
TÍTULO: Encoding Max-CSP into partial Max-SAT  Full Text
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLICAÇÃO: 2008, FONTE: 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 in Proceedings of The International Symposium on Multiple-Valued Logic
INDEXADO EM: Scopus CrossRef
9
TÍTULO: Modelling Max-CSP as partial Max-SAT
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce; Felip Manya;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXADO EM: WOS