Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 64



21
TITLE: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTHORS: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho ;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
INDEXED IN: CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
22
TITLE: Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids
AUTHORS: Varela, PL; Lynce, I ; Manquinho, V ; Chaouiya, C; Monteiro, PT;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 335
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
23
TITLE: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTHORS: Miguel Terra-Neves; Inês Lynce ; Vasco Manquinho ;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
INDEXED IN: CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
24
TITLE: Introducing Pareto Minimal Correction Subsets
AUTHORS: Terra Neves, M; Lynce, I ; Manquinho, V ;
PUBLISHED: 2017, SOURCE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
25
TITLE: Logic-Based Encodings for Ricochet Robots
AUTHORS: Gouveia, F ; Monteiro, PT; Manquinho, V ; Lynce, I ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
26
TITLE: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTHORS: Miguel Terra-Neves; Ines Lynce; Vasco Manquinho ;
PUBLISHED: 2016, SOURCE: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
27
TITLE: On Incremental Core-Guided MaxSAT Solving
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho ; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
28
TITLE: Deterministic Parallel MaxSAT Solving  Full Text
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTHORS: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V ;
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
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
30
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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 3 of 7. Total results: 64.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service