Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
41
TÃTULO: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
42
TÃTULO: Inferring phylogenetic trees using pseudo-Boolean optimization Full Text
AUTORES: Miranda, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2014, FONTE: AI COMMUNICATIONS, VOLUME: 27, NÚMERO: 3
AUTORES: Miranda, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2014, FONTE: AI COMMUNICATIONS, VOLUME: 27, NÚMERO: 3
43
TÃTULO: Open-WBO: A Modular MaxSAT Solver,
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561
44
TÃTULO: Efficient Autarkies
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
45
TÃTULO: Progression in Maximum Satisfiability
AUTORES: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTORES: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
46
TÃTULO: Incremental Cardinality Constraints for MaxSAT
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 in Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, VOLUME: 8656
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 in Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, VOLUME: 8656
47
TÃTULO: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
48
TÃTULO: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTORES: Delgado, J; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, NÚMERO: 9
AUTORES: Delgado, J; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, NÚMERO: 9
49
TÃTULO: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability PDF
AUTORES: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.2685
AUTORES: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.2685
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv50
TÃTULO: Pseudo-boolean and cardinality constraints
AUTORES: Roussel, O; Manquinho, V;
PUBLICAÇÃO: 2009, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 185, NÚMERO: 1
AUTORES: Roussel, O; Manquinho, V;
PUBLICAÇÃO: 2009, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 185, NÚMERO: 1
