Prime Implicant Computation Using Satisfiability Algorithms. - Vasco M. Manquinho; Paulo F. Flores; João P. Marques Silva; Arlindo L. Oliveira (ICTAI, 1997)

On Solving Boolean Optimization with Satisfiability-Based Algorithms. - Vasco M. Manquinho; João Marques-Silva 001 (AI&M, 2000)

On Using Satisfiability-Based Pruning Techniques in Covering Algorithms. - Vasco M. Manquinho; João Marques-Silva 001 (DATE, 2000)

Search Pruning Conditions for Boolean Optimization. - Vasco M. Manquinho; João Marques-Silva 001 (ECAI, 2000)

Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem. - Vasco M. Manquinho; João P. Marques Silva (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002)

Integration of Lower Bound Estimates in Pseudo-Boolean Optimization. - Vasco M. Manquinho; João Marques-Silva 001 (ICTAI, 2004)

Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization. - Vasco M. Manquinho; João Marques-Silva 001 (SAT, 2004)

Satisfiability-Based Algorithms for Boolean Optimization. - Vasco M. Manquinho; João P. Marques Silva (Ann. Math. Artif. Intell., 2004)

Effective Lower Bounding Techniques for Pseudo-Boolean Optimization. - Vasco M. Manquinho; João Marques-Silva 001 (DATE, 2005)

Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts. - Vasco M. Manquinho; João Marques-Silva 001 (ICTAI, 2005)

On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. - Vasco Manquinho; João Marques-Silva 001 (SAT, 2005)

Counting Models in Integer Domains. - António Morgado 001; Paulo J. Matos; Vasco Manquinho; João Marques-Silva 001 (SAT, 2006)

The First Evaluation of Pseudo-Boolean Solvers (PB'05). - Vasco M. Manquinho; Olivier Roussel (J. Satisf. Boolean Model. Comput., 2006)

On Using Cutting Planes in Pseudo-Boolean Optimization. - Vasco M. Manquinho; João Marques-Silva 001 (J. Satisf. Boolean Model. Comput., 2006)

On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. - Federico Heras; Vasco Manquinho; João Marques-Silva 001 (FLAIRS, 2008)

Symmetry Breaking for Maximum Satisfiability. - João Marques-Silva 001; Inês Lynce; Vasco Manquinho (LPAR, 2008)

Learning Techniques for Pseudo-Boolean Solving. - José Faustino Fragoso Femenin dos Santos; Vasco Manquinho (LPAR Workshops, 2008)

Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. - João Marques-Silva 001; Vasco Manquinho (SAT, 2008)

Guest Editors Conclusion. - Ewald Speckenmeyer; Armando Tacchella; Vasco Manquinho; Chu Min Li 001 (J. Satisf. Boolean Model. Comput., 2008)

Backtracking. - Inês Lynce; Vasco Manquinho; João Marques-Silva 001 (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization. - João Delgado; Inês Lynce; Vasco Manquinho (RECOMB-CG, 2009)

Algorithms for Weighted Boolean Optimization. - Vasco Manquinho; João Marques-Silva 001; Jordi Planes (SAT, 2009)

Pseudo-Boolean and Cardinality Constraints. - Olivier Roussel; Vasco Manquinho (Handbook of Satisfiability, 2009)

Improving Search Space Splitting for Parallel SAT Solving. - Ruben Martins; Vasco Manquinho; Inês Lynce (ICTAI (1), 2010)

Improving Unsatisfiability-Based Algorithms for Boolean Optimization. - Vasco Manquinho; Ruben Martins; Inês Lynce (SAT, 2010)

Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability - Nuno P. Lopes; Levent Aksoy; Vasco Manquinho; José Monteiro 001 (CoRR, 2010)

Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes. - João Delgado; Inês Lynce; Vasco Manquinho (J. Comput. Biol., 2010)

DFT and Minimum Leakage Pattern Generation for Static Power Reduction During Test and Burn-In. - Wei-Chung Kao; Wei-Shun Chuang; Shiu-Ting Lin; Chien-Mo James Li; Vasco Manquinho (IEEE Trans. Very Large Scale Integr. Syst., 2010)

Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. - Ruben Martins; Vasco Manquinho; Inês Lynce (ICTAI, 2011)

On Partitioning for Maximum Satisfiability. - Ruben Martins; Vasco Manquinho; Inês Lynce (ECAI, 2012)

Clause Sharing in Parallel MaxSAT. - Ruben Martins; Vasco Manquinho; Inês Lynce (LION, 2012)

Parallel search for maximum satisfiability. - Ruben Martins; Vasco Manquinho; Inês Lynce (AI Commun., 2012)

An overview of parallel SAT solving. - Ruben Martins; Vasco Manquinho; Inês Lynce (Constraints An Int. J., 2012)

On When and How to use SAT to Mine Frequent Itemsets - Rui Henriques; Inês Lynce; Vasco Manquinho (CoRR, 2012)

PackUp: Tools for Package Upgradability Solving. - Mikolás Janota; Inês Lynce; Vasco Manquinho; João Marques-Silva 001 (J. Satisf. Boolean Model. Comput., 2012)

Community-Based Partitioning for MaxSAT Solving. - Ruben Martins; Vasco Manquinho; Inês Lynce (SAT, 2013)

Incremental Cardinality Constraints for MaxSAT. - Ruben Martins; Saurabh Joshi 001; Vasco Manquinho; Inês Lynce (CP, 2014)

Progression in Maximum Satisfiability. - Alexey Ignatiev; António Morgado 001; Vasco Manquinho; Inês Lynce; João Marques-Silva 001 (ECAI, 2014)

Efficient Autarkies. - João Marques-Silva 001; Alexey Ignatiev; António Morgado 001; Vasco Manquinho; Inês Lynce (ECAI, 2014)

Open-WBO: A Modular MaxSAT Solver, . - Ruben Martins; Vasco Manquinho; Inês Lynce (SAT, 2014)

Inferring phylogenetic trees using pseudo-Boolean optimization. - Miguel Miranda; Inês Lynce; Vasco Manquinho (AI Commun., 2014)

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. - Ruben Martins; Saurabh Joshi 001; Vasco Manquinho; Inês Lynce (J. Satisf. Boolean Model. Comput., 2014)

Generalized Totalizer Encoding for Pseudo-Boolean Constraints. - Saurabh Joshi 001; Ruben Martins; Vasco Manquinho (CP, 2015)

Exploiting Resolution-Based Representations for MaxSAT Solving. - Miguel Neves 001; Ruben Martins; Mikolás Janota; Inês Lynce; Vasco Manquinho (SAT, 2015)

DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability. - Miguel Neves 001; Inês Lynce; Vasco Manquinho (CoRR, 2015)

Deterministic Parallel MaxSAT Solving. - Ruben Martins; Vasco Manquinho; Inês Lynce (Int. J. Artif. Intell. Tools, 2015)

Improving linear search algorithms with model-based approaches for MaxSAT solving. - Ruben Martins; Vasco Manquinho; Inês Lynce (J. Exp. Theor. Artif. Intell., 2015)

On Incremental Core-Guided MaxSAT Solving. - Xujie Si; Xin Zhang 035; Vasco Manquinho; Mikolás Janota; Alexey Ignatiev; Mayur Naik (CP, 2016)

Non-Portfolio Approaches for Distributed Maximum Satisfiability. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (ICTAI, 2016)

On the Quest for an Acyclic Graph. - Mikolás Janota; Radu Grigore; Vasco Manquinho (RCRA@AI*IA, 2017)

Logic-Based Encodings for Ricochet Robots. - Filipe Gouveia; Pedro T. Monteiro 001; Vasco Manquinho; Inês Lynce (EPIA, 2017)

Introducing Pareto Minimal Correction Subsets. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (SAT, 2017)

Parallel Maximum Satisfiability. - Inês Lynce; Vasco Manquinho; Ruben Martins (Handbook of Parallel Constraint Reasoning, 2018)

Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (AAAI, 2018)

Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (IJCAI, 2018)

Multi-Objective Optimization Through Pareto Minimal Correction Subsets. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (IJCAI, 2018)

Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids. - Pedro L. Varela; Inês Lynce; Vasco Manquinho; Claudine Chaouiya; Pedro T. Monteiro 001 (SASB, 2018)

Concurrency Debugging with MaxSMT. - Miguel Terra-Neves; Nuno Machado; Inês Lynce; Vasco Manquinho (AAAI, 2019)

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. - Andreia P. Guerreiro; Miguel Terra-Neves; Inês Lynce; José Rui Figueira; Vasco Manquinho (CP, 2019)

Encodings for Enumeration-Based Program Synthesis. - Pedro Orvalho; Miguel Terra-Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho (CP, 2019)

Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (IJCAI, 2019)

Reflections on "Incremental Cardinality Constraints for MaxSAT". - Ruben Martins; Saurabh Joshi 001; Vasco Manquinho; Inês Lynce (CoRR, 2019)

Virtual machine consolidation using constraint-based multi-objective optimization. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (J. Heuristics, 2019)

UNCHARTIT: An Interactive Framework for Program Recovery from Charts. - Daniel Ramos; Jorge Pereira; Inês Lynce; Vasco Manquinho; Ruben Martins (ASE, 2020)

SQUARES : A SQL Synthesizer Using Query Reverse Engineering. - Pedro Orvalho; Miguel Terra-Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho (Proc. VLDB Endow., 2020)

The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. - Mikolás Janota; António Morgado 001; José Fragoso Santos; Vasco Manquinho (CP, 2021)

SOAR: A Synthesis Approach for Data Science API Refactoring. - Ansong Ni; Daniel Ramos; Aidan Z. H. Yang; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues (ICSE, 2021)

Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. - Ansong Ni; Daniel Ramos; Aidan Z. H. Yang; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues (ICSE (Companion Volume), 2021)

UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles. - Leonor Silva; Helena Galhardas; Vasco Manquinho; Rui Henriques (SDM, 2021)

AlloyMax: bringing maximum satisfaction to relational specifications. - Changjian Zhang; Ryan Wagner; Pedro Orvalho; David Garlan; Vasco Manquinho; Ruben Martins; Eunsuk Kang (ESEC/SIGSOFT FSE, 2021)

Exact hypervolume subset selection through incremental computations. - Andreia P. Guerreiro; Vasco Manquinho; José Rui Figueira (Comput. Oper. Res., 2021)

Pseudo-Boolean and Cardinality Constraints. - Olivier Roussel; Vasco Manquinho (Handbook of Satisfiability, 2021)

Consolidation of Massive Medical Emergency Events With Heterogeneous Situational Context Data Sources. - Thomas James Z. Tiam-Lee; Rui Henriques; José Costa; Vasco Manquinho; Helena Galhardas (EDBT/ICDT Workshops, 2022)

SAT-Based Leximax Optimisation Algorithms. - Miguel Cabral; Mikolás Janota; Vasco Manquinho (SAT, 2022)

MultIPAs: applying program transformations to introductory programming assignments for data augmentation. - Pedro Orvalho; Mikolás Janota; Vasco Manquinho (ESEC/SIGSOFT FSE, 2022)

Constraint-based electoral districting using a new compactness measure: An application to Portugal. - Tiago Almeida; Vasco Manquinho (Comput. Oper. Res., 2022)

CUBES: A Parallel Synthesizer for SQL Using Examples. - Ricardo Brancas; Miguel Terra-Neves; Miguel Ventura; Vasco Manquinho; Ruben Martins (CoRR, 2022)

Exact and approximate determination of the Pareto set using minimal correction subsets. - Andreia P. Guerreiro; João Cortes; Daniel Vanderpooten; Cristina Bazgan; Inês Lynce; Vasco Manquinho; José Rui Figueira (CoRR, 2022)

DeepData: Machine learning in the marine ecosystems. - Leonor Silva; Magda Resende; Helena Galhardas; Vasco Manquinho; Inês Lynce (Expert Syst. Appl., 2022)

Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response. - Thomas James Z. Tiam-Lee; Rui Henriques; Vasco Manquinho (ISPRS Int. J. Geo Inf., 2022)

Graph Neural Networks for Mapping Variables Between Programs. - Pedro Orvalho; Jelle Piepenbrock; Mikolás Janota; Vasco Manquinho (ECAI, 2023)

MELT: Mining Effective Lightweight Transformations from Pull Requests. - Daniel Ramos; Hailie Mitchell; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues (ASE, 2023)

UpMax: User Partitioning for MaxSAT. - Pedro Orvalho; Vasco Manquinho; Ruben Martins (SAT, 2023)

New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. - João Cortes; Inês Lynce; Vasco Manquinho (TACAS (2), 2023)

Graph Neural Networks For Mapping Variables Between Programs - Extended Version. - Pedro Orvalho; Jelle Piepenbrock; Mikolás Janota; Vasco Manquinho (CoRR, 2023)

On Repairing Natural Language to SQL Queries. - Aidan Z. H. Yang; Ricardo Brancas; Pedro Esteves; Sofia Aparicio; João Pedro Nadkarni; Miguel Terra-Neves; Vasco Manquinho; Ruben Martins (CoRR, 2023)

Exact and approximate determination of the Pareto front using Minimal Correction Subsets. - Andreia P. Guerreiro; João Cortes; Daniel Vanderpooten; Cristina Bazgan; Inês Lynce; Vasco Manquinho; José Rui Figueira (Comput. Oper. Res., 2023)

Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization. - João Cortes; Inês Lynce; Vasco Manquinho (CP, 2024)

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. - Ricardo Brancas; Miguel Terra-Neves; Miguel Ventura; Vasco Manquinho; Ruben Martins (FASE, 2024)

cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases. - Pedro Orvalho; Mikolás Janota; Vasco M. Manquinho (FM (1), 2024)

C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments. - Pedro Orvalho; Mikolás Janota; Vasco Manquinho (APR, 2024)

BugOut: Automated Test Generation and Bug Detection for Low-Code. - Joana Coutinho; Alexandre Lemos; Miguel Terra-Neves; André Ribeiro; Vasco Manquinho; Rui Quintino; Bartlomiej Matejczyk (ICST, 2024)

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education. - Pedro Orvalho; Mikolás Janota; Vasco Manquinho (SIGCSE Virtual (1), 2024)

Immediate Neighbours of Monotone Boolean Functions. - José E. R. Cury; Patrícia Tenera Roxo; Vasco Manquinho; Claudine Chaouiya; Pedro T. Monteiro 001 (CoRR, 2024)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases. - Pedro Orvalho; Mikolás Janota; Vasco Manquinho (CoRR, 2024)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs. - Ricardo Brancas; Vasco Manquinho; Ruben Martins (CoRR, 2024)

Multiple-input neural networks for time series forecasting incorporating historical and prospective context. - João Palet; Vasco Manquinho; Rui Henriques (Data Min. Knowl. Discov., 2024)

BatFix: Repairing language model-based transpilation. - Daniel Ramos; Inês Lynce; Vasco Manquinho; Ruben Martins; Claire Le Goues (ACM Trans. Softw. Eng. Methodol., 2024)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization. - Pedro Orvalho; Mikolás Janota; Vasco M. Manquinho (AAAI, 2025)

Computation of Immediate Neighbours of Monotone Boolean Functions. - José E. R. Cury; Patrícia Tenera Roxo; Vasco Manquinho; Claudine Chaouiya; Pedro T. Monteiro 001 (CMSB, 2025)

Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs. - Ricardo Brancas; Vasco Manquinho; Ruben Martins (ICST, 2025)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments. - Pedro Orvalho; Mikolás Janota; Vasco Manquinho (J. Syst. Softw., 2025)

Can Automated Feedback Turn Students into Happy Prologians? - Ricardo Brancas; Pedro Orvalho; Carolina Carreira; Vasco Manquinho; Ruben Martins (CoRR, 2025)

Automatic Design-Time Detection of Anomalies in Migrating Monolithic Applications to Microservices. - Valentim Romão; Rafael Soares; Luís Rodrigues; Vasco Manquinho (CoRR, 2025)