Search Results for author: Inês Lynce

Found 3 papers, 0 papers with code

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions

no code implementations28 Dec 2020 Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins

Experimental results show that FOREST successfully returns the desired regular expression in 72% of the instances and outperforms REGEL, a state-of-the-art regular expression synthesizer.

Enumerative Search

Exploiting Resolution-based Representations for MaxSAT Solving

no code implementations10 May 2015 Miguel Neves, Ruben Martins, Mikoláš Janota, Inês Lynce, Vasco Manquinho

Usually, these MaxSAT algorithms perform better when small unsatisfiable subformulas are found early.

DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability

no code implementations10 May 2015 Miguel Neves, Inês Lynce, Vasco Manquinho

The most successful parallel SAT and MaxSAT solvers follow a portfolio approach, where each thread applies a different algorithm (or the same algorithm configured differently) to solve a given problem instance.

Cannot find the paper you are looking for? You can Submit a new open access paper.