Felip Manyà | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Yu Li
112 publications
Kun He
99 publications
Chu-Min Li
14 publications
Jiongzhi Zheng
13 publications
Yan Jin
12 publications
Jianrong Zhou
11 publications
Fan Xiao
7 publications
Carlos Ansótegui
7 publications
Zhipeng Lu
6 publications
Eduard Torres
4 publications
Mao Luo
2 publications

research

∙ 11/29/2022

Incorporating Multi-armed Bandit with Local Search for MaxSAT

Partial MaxSAT (PMS) and Weighted PMS (WPMS) are two practical generaliz...

0 Jiongzhi Zheng, et al. ∙

research

∙ 01/14/2022

BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit

We address Partial MaxSAT (PMS) and Weighted PMS (WPMS), two practical g...

0 Jiongzhi Zheng, et al. ∙

research

∙ 05/26/2021

Incomplete MaxSAT Approaches for Combinatorial Testing

We present a Satisfiability (SAT)-based approach for building Mixed Cove...

0 Carlos Ansótegui, et al. ∙

research

∙ 07/29/2018

Clause Vivification by Unit Propagation in CDCL SAT Solvers

Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SA...

0 Chu-Min Li, et al. ∙

Success!

An error occurred