Josep Argelich Romà
AuthID: R-000-TA6
11
TITLE: Encoding Max-CSP into Partial Max-SAT Full Text
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLISHED: 2008, SOURCE: 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 in 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008)
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLISHED: 2008, SOURCE: 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 in 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008)
12
TITLE: CNF Instances from the Software Package Installation Problem PDF
AUTHORS: Josep Argelich; Inês Lynce ;
PUBLISHED: 2008, SOURCE: 15th Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2008 in Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008., VOLUME: 451
AUTHORS: Josep Argelich; Inês Lynce ;
PUBLISHED: 2008, SOURCE: 15th Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2008 in Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008., VOLUME: 451
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP13
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 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
AUTHORS: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
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
WOS