Felip Manya
AuthID: R-00F-T0M
1
TÃTULO: New Insights into Encodings from MaxCSP into Partial MaxSAT
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLICAÇÃO: 2010, FONTE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLICAÇÃO: 2010, FONTE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
2
TÃTULO: Sequential Encodings from Max-CSP into Partial Max-SAT
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLICAÇÃO: 2009, FONTE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584
AUTORES: Josep Argelich; Alba Cabiscol; Ines Lynce ; Felip Manya;
PUBLICAÇÃO: 2009, FONTE: 12th International Conference on Theory and Applications of Statisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, VOLUME: 5584