Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
41
TITLE: Improving linear search algorithms with model-based approaches for MaxSAT solving Full Text
AUTHORS: Ruben Martins; Vasco Manquinho; Inês Lynce;
PUBLISHED: 2015, SOURCE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, ISSUE: 5
AUTHORS: Ruben Martins; Vasco Manquinho; Inês Lynce;
PUBLISHED: 2015, SOURCE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, ISSUE: 5
42
TITLE: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTHORS: Miguel Neves; Ruben Martins; Mikolas Janota; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
AUTHORS: Miguel Neves; Ruben Martins; Mikolas Janota; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
43
TITLE: Inferring phylogenetic trees using pseudo-Boolean optimization
AUTHORS: Miranda, M; Lynce, I; Manquinho, V;
PUBLISHED: 2014, SOURCE: AI COMMUNICATIONS, VOLUME: 27, ISSUE: 3
AUTHORS: Miranda, M; Lynce, I; Manquinho, V;
PUBLISHED: 2014, SOURCE: AI COMMUNICATIONS, VOLUME: 27, ISSUE: 3
44
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 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS
AUTHORS: Martins, R; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS
45
TITLE: Efficient Autarkies
AUTHORS: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTHORS: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: 
ORCID
ORCID46
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
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: ORCID
ORCID47
TITLE: Incremental cardinality constraints for MaxSAT
AUTHORS: Martins, R; Joshi, S; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8656 LNCS
AUTHORS: Martins, R; Joshi, S; Manquinho, V; Lynce, I;
PUBLISHED: 2014, SOURCE: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8656 LNCS
48
TITLE: Incremental Cardinality Constraints for MaxSAT
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Ines Lynce;
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: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Ines Lynce;
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
WOS49
TITLE: Open-WBO: A Modular MaxSAT Solver
AUTHORS: Ruben Martins; Vasco Manquinho; Ines Lynce;
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: Ruben Martins; Vasco Manquinho; Ines Lynce;
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
WOS50
TITLE: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
AUTHORS: Ruben Martins; Vasco Manquinho; Ines Lynce ;
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: Ruben Martins; Vasco Manquinho; Ines Lynce ;
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)
