Picture for Inês Lynce

Inês Lynce

MELT: Mining Effective Lightweight Transformations from Pull Requests

Add code
Aug 28, 2023
Viaarxiv icon

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

Add code
Apr 22, 2022
Figure 1 for New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
Figure 2 for New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
Figure 3 for New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
Figure 4 for New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
Viaarxiv icon

Exact and approximate determination of the Pareto set using minimal correction subsets

Add code
Apr 14, 2022
Figure 1 for Exact and approximate determination of the Pareto set using minimal correction subsets
Figure 2 for Exact and approximate determination of the Pareto set using minimal correction subsets
Figure 3 for Exact and approximate determination of the Pareto set using minimal correction subsets
Figure 4 for Exact and approximate determination of the Pareto set using minimal correction subsets
Viaarxiv icon

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions

Add code
Dec 28, 2020
Figure 1 for FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Figure 2 for FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Figure 3 for FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Figure 4 for FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Viaarxiv icon

DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability

Add code
May 10, 2015
Figure 1 for DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability
Viaarxiv icon

Exploiting Resolution-based Representations for MaxSAT Solving

Add code
May 10, 2015
Figure 1 for Exploiting Resolution-based Representations for MaxSAT Solving
Figure 2 for Exploiting Resolution-based Representations for MaxSAT Solving
Figure 3 for Exploiting Resolution-based Representations for MaxSAT Solving
Figure 4 for Exploiting Resolution-based Representations for MaxSAT Solving
Viaarxiv icon

On When and How to use SAT to Mine Frequent Itemsets

Add code
Jul 26, 2012
Figure 1 for On When and How to use SAT to Mine Frequent Itemsets
Figure 2 for On When and How to use SAT to Mine Frequent Itemsets
Figure 3 for On When and How to use SAT to Mine Frequent Itemsets
Figure 4 for On When and How to use SAT to Mine Frequent Itemsets
Viaarxiv icon

On Improving Local Search for Unsatisfiability

Add code
Oct 07, 2009
Figure 1 for On Improving Local Search for Unsatisfiability
Figure 2 for On Improving Local Search for Unsatisfiability
Figure 3 for On Improving Local Search for Unsatisfiability
Figure 4 for On Improving Local Search for Unsatisfiability
Viaarxiv icon