@inproceedings{DBLP:conf/cade/AllamigeonKS20,
  author = {Xavier Allamigeon and Ricardo D. Katz and
Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/cade/AllamigeonKS20.bib},
  booktitle = {Automated Reasoning - 10th International Joint
Conference, {IJCAR} 2020, Paris, France, July 1-4,
2020, Proceedings, Part {II}},
  doi = {10.1007/978-3-030-51054-1\_11},
  editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans},
  isbn = {978-3-030-51053-4},
  pages = {185--203},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Fri, 03 Jul 2020 13:56:19 +0200},
  title = {Formalizing the Face Lattice of Polyhedra},
  url = {https://doi.org/10.1007/978-3-030-51054-1\_11},
  volume = {12167},
  year = {2020}
}

{"_id":"SuJv8Xf3b5ryxZgaT","bibbaseid":"allamigeon-katz-strub-formalizingthefacelatticeofpolyhedra-2020","authorIDs":["EC8a7TQ86pYAoBS7y"],"author_short":["Allamigeon, X.","Katz, R. D.","Strub, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Xavier"],"propositions":[],"lastnames":["Allamigeon"],"suffixes":[]},{"firstnames":["Ricardo","D."],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/cade/AllamigeonKS20.bib","booktitle":"Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II","doi":"10.1007/978-3-030-51054-1_11","editor":[{"firstnames":["Nicolas"],"propositions":[],"lastnames":["Peltier"],"suffixes":[]},{"firstnames":["Viorica"],"propositions":[],"lastnames":["Sofronie-Stokkermans"],"suffixes":[]}],"isbn":"978-3-030-51053-4","pages":"185–203","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Fri, 03 Jul 2020 13:56:19 +0200","title":"Formalizing the Face Lattice of Polyhedra","url":"https://doi.org/10.1007/978-3-030-51054-1\\_11","volume":"12167","year":"2020","bibtex":"@inproceedings{DBLP:conf/cade/AllamigeonKS20,\n author = {Xavier Allamigeon and Ricardo D. Katz and\nPierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/cade/AllamigeonKS20.bib},\n booktitle = {Automated Reasoning - 10th International Joint\nConference, {IJCAR} 2020, Paris, France, July 1-4,\n2020, Proceedings, Part {II}},\n doi = {10.1007/978-3-030-51054-1\\_11},\n editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans},\n isbn = {978-3-030-51053-4},\n pages = {185--203},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {Fri, 03 Jul 2020 13:56:19 +0200},\n title = {Formalizing the Face Lattice of Polyhedra},\n url = {https://doi.org/10.1007/978-3-030-51054-1\\_11},\n volume = {12167},\n year = {2020}\n}\n\n","author_short":["Allamigeon, X.","Katz, R. D.","Strub, P."],"editor_short":["Peltier, N.","Sofronie-Stokkermans, V."],"key":"DBLP:conf/cade/AllamigeonKS20","id":"DBLP:conf/cade/AllamigeonKS20","bibbaseid":"allamigeon-katz-strub-formalizingthefacelatticeofpolyhedra-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-51054-1\\_11"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":10,"html":""},"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","creationDate":"2020-12-11T17:17:42.319Z","downloads":10,"keywords":[],"search_terms":["formalizing","face","lattice","polyhedra","allamigeon","katz","strub"],"title":"Formalizing the Face Lattice of Polyhedra","year":2020,"dataSources":["q4vBTsWpxooqz6FoB"]}