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