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