1
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
INDEXED IN: Scopus WOS
2
TITLE: New Insights into Encodings from MaxCSP into Partial MaxSAT
AUTHORS: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLISHED: 2010, SOURCE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
INDEXED IN: Scopus WOS CrossRef
3
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
INDEXED IN: Scopus DBLP
4
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
INDEXED IN: DBLP arXiv
5
TITLE: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTHORS: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
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
INDEXED IN: Scopus WOS CrossRef
6
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
INDEXED IN: Scopus WOS DBLP
7
TITLE: Modelling Max-CSP as partial Max-SAT
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus CrossRef
8
TITLE: Encoding Max-CSP into partial Max-SAT  Full Text
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
PUBLISHED: 2008, SOURCE: 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 in Proceedings of The International Symposium on Multiple-Valued Logic
INDEXED IN: Scopus CrossRef
9
TITLE: Modelling Max-CSP as partial Max-SAT
AUTHORS: Josep Argelich; Alba Cabiscol; Ines Lynce; Felip Manya;
PUBLISHED: 2008, SOURCE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXED IN: WOS