BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Vasco Manquinho
SearchCollections
Map detail
Vasco Manquinho11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipVasco ManquinhoAVasco ManquinhoResearcherNew Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial OptimizationWNew Core-Guided and Hit...preprint / 2022C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming AssignmentsWC-Pack of IPAs: A C90 P...preprint / 2022Generalized Totalizer Encoding for Pseudo-Boolean ConstraintsWGeneralized Totalizer E...preprint / 2015On When and How to use SAT to Mine Frequent ItemsetsWOn When and How to use ...preprint / 2012Incremental Cardinality Constraints for MaxSATWIncremental Cardinality...preprint / 2014Optimally Solving the MCM Problem Using Pseudo-Boolean SatisfiabilityWOptimally Solving the M...preprint / 2011DistMS: A Non-Portfolio Distributed Solver for Maximum SatisfiabilityWDistMS: A Non-Portfolio...preprint / 2015SOAR: A Synthesis Approach for Data Science API RefactoringWSOAR: A Synthesis Appro...preprint / 2021Exploiting Resolution-based Representations for MaxSAT SolvingWExploiting Resolution-b...preprint / 2015Exact and approximate determination of the Pareto set using minimal correction subsetsWExact and approximate d...preprint / 2022
Person10 links

Vasco Manquinho

Researcher

PaperNew Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial OptimizationAuthorship / preprint / 2022PaperC-Pack of IPAs: A C90 Program Benchmark of Introductory Programming AssignmentsAuthorship / preprint / 2022PaperGeneralized Totalizer Encoding for Pseudo-Boolean ConstraintsAuthorship / preprint / 2015PaperOn When and How to use SAT to Mine Frequent ItemsetsAuthorship / preprint / 2012PaperIncremental Cardinality Constraints for MaxSATAuthorship / preprint / 2014PaperOptimally Solving the MCM Problem Using Pseudo-Boolean SatisfiabilityAuthorship / preprint / 2011PaperDistMS: A Non-Portfolio Distributed Solver for Maximum SatisfiabilityAuthorship / preprint / 2015PaperSOAR: A Synthesis Approach for Data Science API RefactoringAuthorship / preprint / 2021

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)