Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
51
TITLE: Progression in Maximum Satisfiability
AUTHORS: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTHORS: Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
52
TITLE: Incremental Cardinality Constraints for MaxSAT
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLISHED: 2014, SOURCE: 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
53
TITLE: Incremental Cardinality Constraints for MaxSAT PDF
AUTHORS: Martins, R; Joshi, S; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
AUTHORS: Martins, R; Joshi, S; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXED IN: 
WOS 
DBLP 
arXiv
WOS DBLP arXiv54
TITLE: Open-WBO: A Modular MaxSAT Solver
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561
INDEXED IN: WOS
WOS55
TITLE: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2011, SOURCE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2011, SOURCE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
56
TITLE: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTHORS: Delgado, J; Lynce, I ; Manquinho, V;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 9
AUTHORS: Delgado, J; Lynce, I ; Manquinho, V;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 9
57
TITLE: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability PDF
AUTHORS: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.2685
AUTHORS: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.2685
INDEXED IN: DBLP arXiv
DBLP arXiv58
TITLE: Pseudo-boolean and cardinality constraints
AUTHORS: Roussel, O; Manquinho, V;
PUBLISHED: 2009, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 185, ISSUE: 1
AUTHORS: Roussel, O; Manquinho, V;
PUBLISHED: 2009, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 185, ISSUE: 1
59
TITLE: Algorithms for Weighted Boolean Optimization PDF
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
INDEXED IN: DBLP arXiv
DBLP arXiv60
TITLE: Backtracking
AUTHORS: Inês Lynce ; Vasco M Manquinho; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Wiley Encyclopedia of Computer Science and Engineering
AUTHORS: Inês Lynce ; Vasco M Manquinho; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Wiley Encyclopedia of Computer Science and Engineering
