Vasco Manquinho
Associate Professor at Instituto Superior Técnico, Universidade de Lisboa and Senior Researcher at INESC-ID.
Get in Touch
Associate Professor at Instituto Superior Técnico, Universidade de Lisboa and Senior Researcher at INESC-ID.
Get in TouchAlgorithms and tools for SAT, MaxSAT, and Pseudo-Boolean Optimization.
Solving complex optimization problems with multiple conflicting objectives.
Program synthesis, automated repair, and fault localization.
State-of-the-art MaxSAT and Pseudo-Boolean solver. Supports various algorithms for solving optimization problems.
View on GitHub →Multi-Objective Combinatorial Optimization solver. Built on top of Sat4j for solving multi-objective problems.
View on OW2 GitLab →Multi-Objective Combinatorial Optimization solver. A solver for multi-objective problems developed at INESC-ID.
View on INESC-ID GitLab →User partitioning for MaxSAT. A tool for solving MaxSAT instances by partitioning the problem based on user input.
View on GitHub →SQL query synthesis from examples. Automatically generates SQL queries that satisfy a set of input-output examples.
View on GitHub →A SQL and R Synthesizer Using Query Reverse Engineering. Synthesizes queries from examples using a reverse engineering approach.
View on GitHub →Synthesis for Open-Source API Refactoring. Automated tool for refactoring APIs in open-source projects.
View on GitHub →An Interactive Framework for Program Recovery from Charts. Recovers data transformations from chart images.
View Website →Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases. A formula-based technique addressing multiple faults.
View on GitHub →Automated assessment tool for Programming Education backed by GitLab, providing personalized feedback on assignments.
View on GitLab →Automatic Fault Localization and Repair of Answer Set Programming (ASP). Leverages Large Language Models for repairing ASP programs.
View on GitHub →Professor