arXiv Open Access 2023

Exploiting Configurations of MaxSAT Solvers

Josep Alòs Carlos Ansótegui Josep M. Salvia Eduard Torres

Lihat Sumber

Abstrak

In this paper, we describe how we can effectively exploit alternative parameter configurations to a MaxSAT solver. We describe how these configurations can be computed in the context of MaxSAT. In particular, we experimentally show how to easily combine configurations of a non-competitive solver to obtain a better solving approach.

Topik & Kata Kunci

cs.AI

Penulis (4)

Josep Alòs

Carlos Ansótegui

Josep M. Salvia

Eduard Torres

Format Sitasi

APA MLA BibTeX

Alòs, J., Ansótegui, C., Salvia, J.M., Torres, E. (2023). Exploiting Configurations of MaxSAT Solvers. https://arxiv.org/abs/2306.07635

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓