Josep Argelich Romà
AuthID: R-000-TA6
11
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 DBLP12
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