ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2105.12552
  4. Cited By
Incomplete MaxSAT Approaches for Combinatorial Testing

Incomplete MaxSAT Approaches for Combinatorial Testing

26 May 2021
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
1