Vasco M. Manquinho

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 57

Top Venues

CoRR

SAT

IJCAI

Publications

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases. CoRR (2024)
Daniel Ramos, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
BatFix: Repairing language model-based transpilation. ACM Trans. Softw. Eng. Methodol. 33 (6) (2024)
João Cortes, Inês Lynce, Vasco M. Manquinho
Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization. CP (2024)
João Palet, Vasco M. Manquinho, Rui Henriques
Multiple-input neural networks for time series forecasting incorporating historical and prospective context. Data Min. Knowl. Discov. 38 (1) (2024)
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco M. Manquinho, Ruben Martins
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. FASE (2024)
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho
Graph Neural Networks For Mapping Variables Between Programs - Extended Version. CoRR (2023)
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
MELT: Mining Effective Lightweight Transformations from Pull Requests. ASE (2023)
Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves, Sofia Aparicio, João Pedro Nadkarni, Miguel Terra-Neves, Vasco M. Manquinho, Ruben Martins
On Repairing Natural Language to SQL Queries. CoRR (2023)
Pedro Orvalho, Vasco M. Manquinho, Ruben Martins
UpMax: User partitioning for MaxSAT. CoRR (2023)
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
MELT: Mining Effective Lightweight Transformations from Pull Requests. CoRR (2023)
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho
Graph Neural Networks for Mapping Variables Between Programs. ECAI (2023)
João Cortes, Inês Lynce, Vasco M. Manquinho
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. TACAS (2) (2023)
Pedro Orvalho, Vasco M. Manquinho, Ruben Martins
UpMax: User Partitioning for MaxSAT. SAT (2023)
Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco M. Manquinho, José Rui Figueira
Exact and approximate determination of the Pareto front using Minimal Correction Subsets. Comput. Oper. Res. 153 (2023)
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco M. Manquinho, Ruben Martins
CUBES: A Parallel Synthesizer for SQL Using Examples. CoRR (2022)
Thomas James Z. Tiam-Lee, Rui Henriques, Vasco M. Manquinho
Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response. ISPRS Int. J. Geo Inf. 11 (7) (2022)
Tiago Almeida, Vasco M. Manquinho
Constraint-based electoral districting using a new compactness measure: An application to Portugal. Comput. Oper. Res. 146 (2022)
Miguel Cabral, Mikolás Janota, Vasco M. Manquinho
SAT-Based Leximax Optimisation Algorithms. SAT (2022)
João Cortes, Inês Lynce, Vasco M. Manquinho
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization. CoRR (2022)
Leonor Silva, Magda Resende, Helena Galhardas, Vasco M. Manquinho, Inês Lynce
DeepData: Machine learning in the marine ecosystems. Expert Syst. Appl. 206 (2022)
Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
MultIPAs: applying program transformations to introductory programming assignments for data augmentation. ESEC/SIGSOFT FSE (2022)
Thomas James Z. Tiam-Lee, Rui Henriques, José Costa, Vasco M. Manquinho, Helena Galhardas
Consolidation of Massive Medical Emergency Events With Heterogeneous Situational Context Data Sources. EDBT/ICDT Workshops (2022)
Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments. CoRR (2022)
Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments. CoRR (2022)
Andreia P. Guerreiro, João Cortes, Daniel Vanderpooten, Cristina Bazgan, Inês Lynce, Vasco M. Manquinho, José Rui Figueira
Exact and approximate determination of the Pareto set using minimal correction subsets. CoRR (2022)
Andreia P. Guerreiro, Vasco M. Manquinho, José Rui Figueira
Exact hypervolume subset selection through incremental computations. Comput. Oper. Res. 136 (2021)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
SOAR: A Synthesis Approach for Data Science API Refactoring. CoRR (2021)
Mikolás Janota, António Morgado, José Fragoso Santos, Vasco M. Manquinho
The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. CP (2021)
Leonor Silva, Helena Galhardas, Vasco M. Manquinho, Rui Henriques
UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles. SDM (2021)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE (Companion Volume) (2021)
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco M. Manquinho, Ruben Martins, Eunsuk Kang
AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE (2021)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues
SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE (2021)
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho
SQUARES : A SQL Synthesizer Using Query Reverse Engineering. Proc. VLDB Endow. 13 (12) (2020)
Daniel Ramos, Jorge Pereira, Inês Lynce, Vasco M. Manquinho, Ruben Martins
UNCHARTIT: An Interactive Framework for Program Recovery from Charts. ASE (2020)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
Reflections on "Incremental Cardinality Constraints for MaxSAT". CoRR (2019)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Virtual machine consolidation using constraint-based multi-objective optimization. J. Heuristics 25 (3) (2019)
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho
Encodings for Enumeration-Based Program Synthesis. CP (2019)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. IJCAI (2019)
Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco M. Manquinho
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. CP (2019)
Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco M. Manquinho
Concurrency Debugging with MaxSMT. AAAI (2019)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. IJCAI (2018)
Pedro L. Varela, Inês Lynce, Vasco M. Manquinho, Claudine Chaouiya, Pedro T. Monteiro
Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids. SASB 335 (2018)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. AAAI (2018)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Multi-Objective Optimization Through Pareto Minimal Correction Subsets. IJCAI (2018)
Mikolás Janota, Radu Grigore, Vasco M. Manquinho
On the Quest for an Acyclic Graph. RCRA@AI*IA (2017)
Mikolas Janota, Radu Grigore, Vasco M. Manquinho
On the Quest for an Acyclic Graph. CoRR (2017)
Filipe Gouveia, Pedro T. Monteiro, Vasco M. Manquinho, Inês Lynce
Logic-Based Encodings for Ricochet Robots. EPIA (2017)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Introducing Pareto Minimal Correction Subsets. SAT (2017)
Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho
Non-Portfolio Approaches for Distributed Maximum Satisfiability. ICTAI (2016)
Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik
On Incremental Core-Guided MaxSAT Solving. CP (2016)
Miguel Neves, Inês Lynce, Vasco M. Manquinho
DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability. CoRR (2015)
Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho
Exploiting Resolution-Based Representations for MaxSAT Solving. SAT (2015)
Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho
Exploiting Resolution-based Representations for MaxSAT Solving. CoRR (2015)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Improving linear search algorithms with model-based approaches for MaxSAT solving. J. Exp. Theor. Artif. Intell. 27 (5) (2015)
Saurabh Joshi, Ruben Martins, Vasco M. Manquinho
Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CoRR (2015)
Saurabh Joshi, Ruben Martins, Vasco M. Manquinho
Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CP (2015)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Deterministic Parallel MaxSAT Solving. Int. J. Artif. Intell. Tools 24 (3) (2015)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
Incremental Cardinality Constraints for MaxSAT. CoRR (2014)
João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce
Efficient Autarkies. ECAI (2014)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva
Progression in Maximum Satisfiability. ECAI (2014)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Open-WBO: A Modular MaxSAT Solver, . SAT (2014)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
Incremental Cardinality Constraints for MaxSAT. CP (2014)
Miguel Miranda, Inês Lynce, Vasco M. Manquinho
Inferring phylogenetic trees using pseudo-Boolean optimization. AI Commun. 27 (3) (2014)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Community-Based Partitioning for MaxSAT Solving. SAT (2013)
Rui Henriques, Inês Lynce, Vasco M. Manquinho
On When and How to use SAT to Mine Frequent Itemsets CoRR (2012)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Clause Sharing in Parallel MaxSAT. LION (2012)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
An overview of parallel SAT solving. Constraints An Int. J. 17 (3) (2012)
Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva
PackUp: Tools for Package Upgradability Solving. J. Satisf. Boolean Model. Comput. 8 (1/2) (2012)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Parallel search for maximum satisfiability. AI Commun. 25 (2) (2012)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
On Partitioning for Maximum Satisfiability. ECAI (2012)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. ICTAI (2011)
João Delgado, Inês Lynce, Vasco M. Manquinho
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes. J. Comput. Biol. 17 (9) (2010)
Wei-Chung Kao, Wei-Shun Chuang, Shiu-Ting Lin, Chien-Mo James Li, Vasco M. Manquinho
DFT and Minimum Leakage Pattern Generation for Static Power Reduction During Test and Burn-In. IEEE Trans. Very Large Scale Integr. Syst. 18 (3) (2010)
Ruben Martins, Vasco M. Manquinho, Inês Lynce
Improving Search Space Splitting for Parallel SAT Solving. ICTAI (1) (2010)
Vasco M. Manquinho, Ruben Martins, Inês Lynce
Improving Unsatisfiability-Based Algorithms for Boolean Optimization. SAT (2010)
Nuno P. Lopes, Levent Aksoy, Vasco M. Manquinho, José Monteiro
Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability CoRR (2010)
João Delgado, Inês Lynce, Vasco M. Manquinho
Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization. RECOMB-CG (2009)
Vasco M. Manquinho, João P. Marques Silva, Jordi Planes
Algorithms for Weighted Boolean Optimization CoRR (2009)
Vasco M. Manquinho, João P. Marques Silva, Jordi Planes
Algorithms for Weighted Boolean Optimization. SAT (2009)
José Faustino Fragoso Femenin dos Santos, Vasco M. Manquinho
Learning Techniques for Pseudo-Boolean Solving. LPAR Workshops (2008)
Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li
Guest Editors Conclusion. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
João Marques-Silva, Vasco M. Manquinho
Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. SAT (2008)
João Marques-Silva, Inês Lynce, Vasco M. Manquinho
Symmetry Breaking for Maximum Satisfiability. LPAR (2008)
João Marques-Silva, Inês Lynce, Vasco M. Manquinho
Symmetry Breaking for Maximum Satisfiability CoRR (2008)
Federico Heras, Vasco M. Manquinho, João Marques-Silva
On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. FLAIRS Conference (2008)
Vasco M. Manquinho, João P. Marques Silva
On Using Cutting Planes in Pseudo-Boolean Optimization. J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
Vasco M. Manquinho, Olivier Roussel
The First Evaluation of Pseudo-Boolean Solvers (PB'05). J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
António Morgado, Paulo J. Matos, Vasco M. Manquinho, João P. Marques Silva
Counting Models in Integer Domains. SAT (2006)
Vasco M. Manquinho, João P. Marques Silva
Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts. ICTAI (2005)
Vasco M. Manquinho, João P. Marques Silva
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization. DATE (2005)
Vasco M. Manquinho, João P. Marques Silva
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. SAT (2005)
Vasco M. Manquinho, João P. Marques Silva
Satisfiability-Based Algorithms for Boolean Optimization. Ann. Math. Artif. Intell. 40 (3-4) (2004)
Vasco M. Manquinho, João P. Marques Silva
Integration of Lower Bound Estimates in Pseudo-Boolean Optimization. ICTAI (2004)
Vasco M. Manquinho, João P. Marques Silva
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization. SAT (2004)
Vasco M. Manquinho, João P. Marques Silva
Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21 (5) (2002)
Vasco M. Manquinho, João P. Marques Silva
On Solving Boolean Optimization with Satisfiability-Based Algorithms. AI&M (2000)
Vasco M. Manquinho, João P. Marques Silva
Search Pruning Conditions for Boolean Optimization. ECAI (2000)
Vasco M. Manquinho, João P. Marques Silva
On Using Satisfiability-Based Pruning Techniques in Covering Algorithms. DATE (2000)
Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira
Prime Implicant Computation Using Satisfiability Algorithms. ICTAI (1997)

Vasco M. Manquinho.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vasco M. Manquinho