%0 Conference Paper %1 conf/icalp/LokshtanovR0Z18 %A Lokshtanov, Daniel %A Ramanujan, M. S. %A Saurabh, Saket %A Zehavi, Meirav %B ICALP %D 2018 %E Chatzigiannakis, Ioannis %E Kaklamanis, Christos %E Marx, Dániel %E Sannella, Donald %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 135:1-135:14 %T Reducing CMSO Model Checking to Highly Connected Graphs. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2018.html#LokshtanovR0Z18 %V 107 %@ 978-3-95977-076-7

@inproceedings{conf/icalp/LokshtanovR0Z18, added-at = {2020-11-03T00:00:00.000+0100}, author = {Lokshtanov, Daniel and Ramanujan, M. S. and Saurabh, Saket and Zehavi, Meirav}, biburl = {https://www.bibsonomy.org/bibtex/2e5d21ae00b710ae0d13c26f8666522de/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2018}, editor = {Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, Dániel and Sannella, Donald}, ee = {https://doi.org/10.4230/LIPIcs.ICALP.2018.135}, interhash = {13ace142c29b82974a43683135fd298b}, intrahash = {e5d21ae00b710ae0d13c26f8666522de}, isbn = {978-3-95977-076-7}, keywords = {dblp}, pages = {135:1-135:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-11-04T11:38:23.000+0100}, title = {Reducing CMSO Model Checking to Highly Connected Graphs.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2018.html#LokshtanovR0Z18}, volume = 107, year = 2018 }