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.

Inês Lynce
SearchCollections
Map detail
Inês Lynce9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipInês LynceAInês LynceResearcherProceedings First International Workshop on Logics for Component ConfigurationWProceedings First Inter...preprint / 2010New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial OptimizationWNew Core-Guided and Hit...preprint / 2022On When and How to use SAT to Mine Frequent ItemsetsWOn When and How to use ...preprint / 2012DistMS: A Non-Portfolio Distributed Solver for Maximum SatisfiabilityWDistMS: A Non-Portfolio...preprint / 2015Solving Linux Upgradeability Problems Using Boolean OptimizationWSolving Linux Upgradeab...preprint / 2010SOAR: 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
Person8 links

Inês Lynce

Researcher

PaperProceedings First International Workshop on Logics for Component ConfigurationAuthorship / preprint / 2010PaperNew Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial OptimizationAuthorship / preprint / 2022PaperOn When and How to use SAT to Mine Frequent ItemsetsAuthorship / preprint / 2012PaperDistMS: A Non-Portfolio Distributed Solver for Maximum SatisfiabilityAuthorship / preprint / 2015PaperSolving Linux Upgradeability Problems Using Boolean OptimizationAuthorship / preprint / 2010PaperSOAR: A Synthesis Approach for Data Science API RefactoringAuthorship / preprint / 2021PaperExploiting Resolution-based Representations for MaxSAT SolvingAuthorship / preprint / 2015PaperExact and approximate determination of the Pareto set using minimal correction subsetsAuthorship / preprint / 2022

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)