@inproceedings{lpnmr/VandesandeWB22,
  author    = {Dieter Vandesande and
               Wolf De Wulf and
               Bart Bogaerts},
  title     = {QMaxSATpb: {A} Certified MaxSAT Solver},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
               Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
  pages     = {429--442},
  year      = {2022},
  crossref  = {lpnmr/2022},
  url       = {https://doi.org/10.1007/978-3-031-15707-3\_33},
  doi       = {10.1007/978-3-031-15707-3\_33},
 }

@proceedings{lpnmr/2022,
  editor    = {Georg Gottlob and
               Daniela Inclezan and
               Marco Maratea},
  title     = {Logic Programming and Nonmonotonic Reasoning - 16th International
               Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13416},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-15707-3},
  doi       = {10.1007/978-3-031-15707-3},
  isbn      = {978-3-031-15706-6},
}