ResearchTrend.AI
Incomplete MaxSAT Approaches for Combinatorial Testing

Incomplete MaxSAT Approaches for Combinatorial Testing

Carlos Ansótegui
F. Manyà
J. Ojeda
Josep M. Salvia
Eduard Torres
ArXiv (abs)PDFHTML

Papers citing "Incomplete MaxSAT Approaches for Combinatorial Testing"

3 / 3 papers shown
Title
A Benchmark Generator for Combinatorial Testing
A Benchmark Generator for Combinatorial Testing
Carlos Ansótegui
Eduard Torres
13
1
0
29 Dec 2022
Incorporating Multi-armed Bandit with Local Search for MaxSAT
Incorporating Multi-armed Bandit with Local Search for MaxSAT
Jiongzhi Zheng
Kun He
Jianrong Zhou
Yan Jin
ChuMin Li
F. Manyà
39
1
0
29 Nov 2022
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
Jiongzhi Zheng
Kun He
Jianrong Zhou
Yan Jin
ChuMin Li
F. Manyà
25
13
0
14 Jan 2022