71
TÍTULO: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTORES: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLICAÇÃO: 2012, FONTE: J. Multiple Valued Log. Soft Comput., VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: DBLP
NO MEU: DBLP
72
TÍTULO: On Computing Minimal Equivalent Subformulas
AUTORES: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 in Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, VOLUME: 7514
INDEXADO EM: Scopus DBLP CrossRef: 9 Unpaywall
73
TÍTULO: On Partitioning for Maximum Satisfiability
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242
INDEXADO EM: Scopus WOS DBLP
74
TÍTULO: On When and How to use SAT to Mine Frequent Itemsets PDF
AUTORES: Rui Henriques; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1207.6253
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
75
TÍTULO: PackUp: Tools for Package Upgradability Solving PDF
AUTORES: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JSAT, VOLUME: 8, NÚMERO: 1/2
INDEXADO EM: DBLP
NO MEU: DBLP
76
TÍTULO: Parallel search for maximum satisfiability  Full Text
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: AI COMMUNICATIONS, VOLUME: 25, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
77
TÍTULO: Reasoning over Biological Networks Using Maximum Satisfiability
AUTORES: João Guerra; Inês Lynce ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Principles and Practice of Constraint Programming, CP 2012 in Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, VOLUME: 7514
INDEXADO EM: Scopus DBLP CrossRef: 19
78
TÍTULO: Satisfiability: where Theory meets Practice (Invited Talk)  Full Text
AUTORES: Inês Lynce ;
PUBLICAÇÃO: 2012, FONTE: 26th International Workshop on Computer Science Logic, CSL 2012/21st Annual Conference of the European Association for Computer Science Logic, EACSL in Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, VOLUME: 16
INDEXADO EM: Scopus DBLP
79
TÍTULO: Towards efficient MUS extraction  Full Text
AUTORES: Belov, A; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: AI COMMUNICATIONS, VOLUME: 25, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
80
TÍTULO: Towards efficient MUS extraction  Full Text
AUTORES: Anton Belov; Inês Lynce ; Joao Marques Silva;
PUBLICAÇÃO: 2012, FONTE: AI Communications, VOLUME: 25, NÚMERO: 2
INDEXADO EM: CrossRef: 58 Unpaywall
Página 8 de 16. Total de resultados: 152.