notesum.ai

Published at October 21

IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses

cs.CC
cs.GT
68Q17
F.2

Released Date: October 21, 2024

Authors: Ole Lübke1

Aff.: 1Hamburg University of Technology (TUHH), Institute for Software Systems, Germany

Arxiv: https://arxiv.org/abs/2410.15897v1