TY  - RPRT
TI  - IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses
AU  - Ole Lübke
PY  - 2024
UR  - https://arxiv.org/abs/2410.15897
ID  - 2410.15897
ER  -