71
TITLE: Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
AUTHORS: Josep Argelich; Alba Cabiscol; Inês Lynce ; Felip Manyà;
PUBLISHED: 2012, SOURCE: J. Multiple Valued Log. Soft Comput., VOLUME: 19, ISSUE: 1-3
INDEXED IN: DBLP
IN MY: DBLP
72
TITLE: On Computing Minimal Equivalent Subformulas
AUTHORS: Anton Belov; Mikolás Janota; Inês Lynce ; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 9 Unpaywall
73
TITLE: On Partitioning for Maximum Satisfiability
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242
INDEXED IN: Scopus WOS DBLP
74
TITLE: On When and How to use SAT to Mine Frequent Itemsets PDF
AUTHORS: Rui Henriques; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.6253
INDEXED IN: DBLP arXiv
IN MY: DBLP
75
TITLE: PackUp: Tools for Package Upgradability Solving PDF
AUTHORS: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLISHED: 2012, SOURCE: JSAT, VOLUME: 8, ISSUE: 1/2
INDEXED IN: DBLP
IN MY: DBLP
76
TITLE: Parallel search for maximum satisfiability  Full Text
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: AI COMMUNICATIONS, VOLUME: 25, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 11
77
TITLE: Reasoning over Biological Networks Using Maximum Satisfiability
AUTHORS: João Guerra; Inês Lynce ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 19
78
TITLE: Satisfiability: where Theory meets Practice (Invited Talk)  Full Text
AUTHORS: Inês Lynce ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP
79
TITLE: Towards efficient MUS extraction  Full Text
AUTHORS: Belov, A; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: AI COMMUNICATIONS, VOLUME: 25, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
80
TITLE: Towards efficient MUS extraction  Full Text
AUTHORS: Anton Belov; Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2012, SOURCE: AI Communications, VOLUME: 25, ISSUE: 2
INDEXED IN: CrossRef: 58 Unpaywall
Page 8 of 16. Total results: 152.