@inproceedings{EndrissAAAI2020,
  author =        {Ulle Endriss},
  title =         {Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms},
  booktitle =     {Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI-2020)},
  month =         {February},
  year =          {2020},
  doi =           {10.1609/aaai.v34i02.5561},
  note =          {Also presented at CMID-2020}
}