Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
31
TITLE: Deterministic Parallel MaxSAT Solving
AUTHORS: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, ISSUE: 3
AUTHORS: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, ISSUE: 3
32
TITLE: Generalized Totalizer Encoding for Pseudo-Boolean Constraints
AUTHORS: Saurabh Joshi; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
AUTHORS: Saurabh Joshi; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
33
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
34
TITLE: Inferring phylogenetic trees using pseudo-Boolean optimization
AUTHORS: Miguel Miranda; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2014, SOURCE: AI COMMUNICATIONS, VOLUME: 27, ISSUE: 3
AUTHORS: Miguel Miranda; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2014, SOURCE: AI COMMUNICATIONS, VOLUME: 27, ISSUE: 3
INDEXED IN: 
Scopus 
WOS
Scopus WOS35
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 DBLP36
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 DBLP37
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
WOS38
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
WOS39
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)
40
TITLE: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTHORS: Joao Delgado; Ines Lynce ; Vasco Manquinho;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 9
AUTHORS: Joao Delgado; Ines Lynce ; Vasco Manquinho;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 9
