Josep Argelich Romà
AuthID: R-000-TA6
11
TÃTULO: Encoding Max-CSP into Partial Max-SAT Full Text
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLICAÇÃO: 2008, FONTE: 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 in 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008)
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manyà, F;
PUBLICAÇÃO: 2008, FONTE: 38th International Symposium on Multiple-Valued Logic, ISMVL 2008 in 38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008)
12
TÃTULO: CNF Instances from the Software Package Installation Problem PDF
AUTORES: Josep Argelich; Inês Lynce ;
PUBLICAÇÃO: 2008, FONTE: 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
AUTORES: Josep Argelich; Inês Lynce ;
PUBLICAÇÃO: 2008, FONTE: 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
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP13
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 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
AUTORES: Argelich, J; Cabiscol, A; Lynce, I ; Manya, F;
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
WOS