@inproceedings{FleuryBiere-SAT19,
  author    = {Mathias Fleury and
               Armin Biere},
  editor    = {Chu Min Li and Felip Many\`a},
  title     = {fficient All-UIP Learned Clause Minimization},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
               International Conference, {SAT} 2021, Barcelona, Spain, July 5-9,
               2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  year      = {2021},
  note      = {to appear},
}