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
INDEXADO EM: Scopus WOS CrossRef
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
INDEXADO EM: Scopus WOS CrossRef