Search Results for author: Felip Manyà

Found 3 papers, 1 papers with code

Incorporating Multi-armed Bandit with Local Search for MaxSAT

1 code implementation29 Nov 2022 Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-min Li, Felip Manyà

In this paper, we propose a local search algorithm for these problems, called BandHS, which applies two multi-armed bandits to guide the search directions when escaping local optima.

Multi-Armed Bandits

Incomplete MaxSAT Approaches for Combinatorial Testing

no code implementations26 May 2021 Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres

We present a Satisfiability (SAT)-based approach for building Mixed Covering Arrays with Constraints of minimum length, referred to as the Covering Array Number problem.

Clause Vivification by Unit Propagation in CDCL SAT Solvers

no code implementations29 Jul 2018 Chu-min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li

Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SAT solvers often contain redundant literals.

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