Vasco M. Manquinho

According to our database, Vasco M. Manquinho authored at least 91 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Multiple-input neural networks for time series forecasting incorporating historical and prospective context.

João Palet, Vasco M. Manquinho, Rui Henriques

Data Min. Knowl. Discov., January, 2024

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation.

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco M. Manquinho, Ruben Martins

Proceedings of the Fundamental Approaches to Software Engineering, 2024

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 M. Manquinho, José Rui Figueira

Comput. Oper. Res., May, 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 M. Manquinho, Ruben Martins

CoRR, 2023

Graph Neural Networks For Mapping Variables Between Programs - Extended Version.

Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho

CoRR, 2023

New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization.

João Cortes, Inês Lynce, Vasco M. Manquinho

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

UpMax: User Partitioning for MaxSAT.

Pedro Orvalho, Vasco M. Manquinho, Ruben Martins

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

MELT: Mining Effective Lightweight Transformations from Pull Requests.

Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Graph Neural Networks for Mapping Variables Between Programs.

Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response.

Thomas James Z. Tiam-Lee, Rui Henriques, Vasco M. Manquinho

ISPRS Int. J. Geo Inf., 2022

DeepData: Machine learning in the marine ecosystems.

Leonor Silva, Magda Resende, Helena Galhardas, Vasco M. Manquinho, Inês Lynce

Expert Syst. Appl., 2022

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments.

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho

CoRR, 2022

C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments.

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho

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 M. Manquinho, José Rui Figueira

CoRR, 2022

CUBES: A Parallel Synthesizer for SQL Using Examples.

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco M. Manquinho, Ruben Martins

CoRR, 2022

Constraint-based electoral districting using a new compactness measure: An application to Portugal.

Tiago Almeida, Vasco M. Manquinho

Comput. Oper. Res., 2022

MultIPAs: applying program transformations to introductory programming assignments for data augmentation.

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

SAT-Based Leximax Optimisation Algorithms.

Miguel Cabral, Mikolás Janota, Vasco M. Manquinho

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

Consolidation of Massive Medical Emergency Events With Heterogeneous Situational Context Data Sources.

Thomas James Z. Tiam-Lee, Rui Henriques, José Costa, Vasco M. Manquinho, Helena Galhardas

Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, 2022

2021

Pseudo-Boolean and Cardinality Constraints.

Olivier Roussel, Vasco M. Manquinho

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

Exact hypervolume subset selection through incremental computations.

Andreia P. Guerreiro, Vasco M. Manquinho, José Rui Figueira

Comput. Oper. Res., 2021

AlloyMax: bringing maximum satisfaction to relational specifications.

Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco M. Manquinho, Ruben Martins, Eunsuk Kang

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles.

Leonor Silva, Helena Galhardas, Vasco M. Manquinho, Rui Henriques

Proceedings of the 2021 SIAM International Conference on Data Mining, 2021

Replication of SOAR: A Synthesis Approach for Data Science API Refactoring.

Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

SOAR: A Synthesis Approach for Data Science API Refactoring.

Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets.

Mikolás Janota, António Morgado, José Fragoso Santos, Vasco M. Manquinho

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

SQUARES : A SQL Synthesizer Using Query Reverse Engineering.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho

Proc. VLDB Endow., 2020

UNCHARTIT: An Interactive Framework for Program Recovery from Charts.

Daniel Ramos, Jorge Pereira, Inês Lynce, Vasco M. Manquinho, Ruben Martins

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Virtual machine consolidation using constraint-based multi-objective optimization.

Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho

J. Heuristics, 2019

Reflections on "Incremental Cardinality Constraints for MaxSAT".

Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce

CoRR, 2019

Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms.

Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Encodings for Enumeration-Based Program Synthesis.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho

Proceedings of the Principles and Practice of Constraint Programming, 2019

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving.

Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco M. Manquinho

Proceedings of the Principles and Practice of Constraint Programming, 2019

Concurrency Debugging with MaxSMT.

Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco M. Manquinho

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids.

Pedro L. Varela, Inês Lynce, Vasco M. Manquinho, Claudine Chaouiya, Pedro T. Monteiro

Proceedings of SASB 2018, 2018

Multi-Objective Optimization Through Pareto Minimal Correction Subsets.

Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Stratification for Constraint-Based Multi-Objective Combinatorial Optimization.

Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Enhancing Constraint-Based Multi-Objective Combinatorial Optimization.

Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Parallel Maximum Satisfiability.

Inês Lynce, Vasco M. Manquinho, Ruben Martins

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Introducing Pareto Minimal Correction Subsets.

Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Logic-Based Encodings for Ricochet Robots.

Filipe Gouveia, Pedro T. Monteiro, Vasco M. Manquinho, Inês Lynce

Proceedings of the Progress in Artificial Intelligence, 2017

On the Quest for an Acyclic Graph.

Mikolás Janota, Radu Grigore, Vasco M. Manquinho

Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

2016

Non-Portfolio Approaches for Distributed Maximum Satisfiability.

Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

On Incremental Core-Guided MaxSAT Solving.

Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Improving linear search algorithms with model-based approaches for MaxSAT solving.

Ruben Martins, Vasco M. Manquinho, Inês Lynce

J. Exp. Theor. Artif. Intell., 2015

Deterministic Parallel MaxSAT Solving.

Ruben Martins, Vasco M. Manquinho, Inês Lynce

Int. J. Artif. Intell. Tools, 2015

DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability.

Miguel Neves, Inês Lynce, Vasco M. Manquinho

CoRR, 2015

Exploiting Resolution-Based Representations for MaxSAT Solving.

Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Generalized Totalizer Encoding for Pseudo-Boolean Constraints.

Saurabh Joshi, Ruben Martins, Vasco M. Manquinho

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving.

Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce

J. Satisf. Boolean Model. Comput., 2014

Inferring phylogenetic trees using pseudo-Boolean optimization.

Miguel Miranda, Inês Lynce, Vasco M. Manquinho

AI Commun., 2014

Open-WBO: A Modular MaxSAT Solver, .

Ruben Martins, Vasco M. Manquinho, Inês Lynce

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Efficient Autarkies.

João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Progression in Maximum Satisfiability.

Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Incremental Cardinality Constraints for MaxSAT.

Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Community-Based Partitioning for MaxSAT Solving.

Ruben Martins, Vasco M. Manquinho, Inês Lynce

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

2012

PackUp: Tools for Package Upgradability Solving.

Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva

J. Satisf. Boolean Model. Comput., 2012

On When and How to use SAT to Mine Frequent Itemsets

Rui Henriques, Inês Lynce, Vasco M. Manquinho

CoRR, 2012

An overview of parallel SAT solving.

Ruben Martins, Vasco M. Manquinho, Inês Lynce

Constraints An Int. J., 2012

Parallel search for maximum satisfiability.

Ruben Martins, Vasco M. Manquinho, Inês Lynce

AI Commun., 2012

Clause Sharing in Parallel MaxSAT.

Ruben Martins, Vasco M. Manquinho, Inês Lynce

Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

On Partitioning for Maximum Satisfiability.

Ruben Martins, Vasco M. Manquinho, Inês Lynce

Proceedings of the ECAI 2012, 2012

2011

Exploiting Cardinality Encodings in Parallel Maximum Satisfiability.

Ruben Martins, Vasco M. Manquinho, Inês Lynce

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

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 M. Manquinho

IEEE Trans. Very Large Scale Integr. Syst., 2010

Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes.

João Delgado, Inês Lynce, Vasco M. Manquinho

J. Comput. Biol., 2010

Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability

Nuno P. Lopes, Levent Aksoy, Vasco M. Manquinho, José Monteiro

CoRR, 2010

Improving Unsatisfiability-Based Algorithms for Boolean Optimization.

Vasco M. Manquinho, Ruben Martins, Inês Lynce

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Improving Search Space Splitting for Parallel SAT Solving.

Ruben Martins, Vasco M. Manquinho, Inês Lynce

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009

Pseudo-Boolean and Cardinality Constraints.

Olivier Roussel, Vasco M. Manquinho

Proceedings of the Handbook of Satisfiability, 2009

Algorithms for Weighted Boolean Optimization.

Vasco M. Manquinho, João Marques-Silva, Jordi Planes

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization.

João Delgado, Inês Lynce, Vasco M. Manquinho

Proceedings of the Comparative Genomics, International Workshop, 2009

2008

Backtracking.

Inês Lynce, Vasco M. Manquinho, João Marques-Silva

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Guest Editors Conclusion.

Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li

J. Satisf. Boolean Model. Comput., 2008

Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms.

João Marques-Silva, Vasco M. Manquinho

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Learning Techniques for Pseudo-Boolean Solving.

José Faustino Fragoso Femenin dos Santos, Vasco M. Manquinho

Proceedings of the LPAR 2008 Workshops, 2008

Symmetry Breaking for Maximum Satisfiability.

João Marques-Silva, Inês Lynce, Vasco M. Manquinho

Proceedings of the Logic for Programming, 2008

On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization.

Federico Heras, Vasco M. Manquinho, João Marques-Silva

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2006

On Using Cutting Planes in Pseudo-Boolean Optimization.

Vasco M. Manquinho, João Marques-Silva

J. Satisf. Boolean Model. Comput., 2006

The First Evaluation of Pseudo-Boolean Solvers (PB'05).

Vasco M. Manquinho, Olivier Roussel

J. Satisf. Boolean Model. Comput., 2006

Counting Models in Integer Domains.

António Morgado, Paulo J. Matos, Vasco M. Manquinho, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2005

On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization.

Vasco M. Manquinho, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts.

Vasco M. Manquinho, João Marques-Silva

Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Effective Lower Bounding Techniques for Pseudo-Boolean Optimization.

Vasco M. Manquinho, João Marques-Silva

Proceedings of the 2005 Design, 2005

2004

Satisfiability-Based Algorithms for Boolean Optimization.

Vasco M. Manquinho, João P. Marques Silva

Ann. Math. Artif. Intell., 2004

Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization.

Vasco M. Manquinho, João Marques-Silva

Proceedings of the SAT 2004, 2004

Integration of Lower Bound Estimates in Pseudo-Boolean Optimization.

Vasco M. Manquinho, João Marques-Silva

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2002

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

2000

Search Pruning Conditions for Boolean Optimization.

Vasco M. Manquinho, João Marques-Silva

Proceedings of the ECAI 2000, 2000

On Using Satisfiability-Based Pruning Techniques in Covering Algorithms.

Vasco M. Manquinho, João Marques-Silva

Proceedings of the 2000 Design, 2000

On Solving Boolean Optimization with Satisfiability-Based Algorithms.

Vasco M. Manquinho, João Marques-Silva

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2000

1997

Prime Implicant Computation Using Satisfiability Algorithms.

Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997