{"_id":"RPK7b7eTai5Z3i8FH","bibbaseid":"bollig-prger-anefficientimplicitobddbasedalgorithmformaximalmatchings-2012","author_short":["Bollig, B.","Pröger, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Beate"],"propositions":[],"lastnames":["Bollig"],"suffixes":[]},{"firstnames":["Tobias"],"propositions":[],"lastnames":["Pröger"],"suffixes":[]}],"title":"An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings","booktitle":"Proceedings of the 6th International Conference on Language and Automata Theory and Applications (LATA 2012)","year":"2012","series":"LNCS","pages":"143–154","publisher":"Springer","url":"http://grammars.grlmc.com/lata2012/Download/Slides/03/Session2/02Tobiasfolien-120307.pdf","bibtex":"@INPROCEEDINGS{BolligP2012IP,\n author = {Beate Bollig and Tobias Pr\\\"{o}ger},\n title = {{A}n {E}fficient {I}mplicit {OBDD}-{B}ased {A}lgorithm for {M}aximal\n\t{M}atchings},\n booktitle = {Proceedings of the 6th International Conference on Language and Automata\n\tTheory and Applications (LATA 2012)},\n year = {2012},\n series = {LNCS},\n pages = {143--154},\n publisher = {Springer},\n url = {http://grammars.grlmc.com/lata2012/Download/Slides/03/Session2/02Tobiasfolien-120307.pdf}\n}\n\n","author_short":["Bollig, B.","Pröger, T."],"key":"BolligP2012IP","id":"BolligP2012IP","bibbaseid":"bollig-prger-anefficientimplicitobddbasedalgorithmformaximalmatchings-2012","role":"author","urls":{"Paper":"http://grammars.grlmc.com/lata2012/Download/Slides/03/Session2/02Tobiasfolien-120307.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://polybox.ethz.ch/index.php/s/wa4X7mAfU4Cgo3p/download","dataSources":["R7QLFCx79AQPLx6QS"],"keywords":[],"search_terms":["efficient","implicit","obdd","based","algorithm","maximal","matchings","bollig","pröger"],"title":"An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings","year":2012}