Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2105.12552
Cited By
Incomplete MaxSAT Approaches for Combinatorial Testing
26 May 2021
Carlos Ansótegui
F. Manyà
J. Ojeda
Josep M. Salvia
Eduard Torres
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Incomplete MaxSAT Approaches for Combinatorial Testing"
3 / 3 papers shown
Title
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
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
Jiongzhi Zheng
Kun He
Jianrong Zhou
Yan Jin
ChuMin Li
F. Manyà
25
13
0
14 Jan 2022
1
