@article{PaxianBiere-JAIR26,
  author       = {Tobias Paxian and
                  Armin Biere},
  title        = {{MaxSAT} Fuzzing and Delta Debugging},
  journal      = {J. Artif. Intell. Res.},
  volume       = {85},
  year         = {2026},
  doi          = {10.1613/JAIR.1.19716},
}