Reducing CMSOL Model Checking to Highly Connected Graphs

Lokshtanov, Daniel; Ramanujan, M. S.; Saurabh, Saket; Zehavi, Meirav

by Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh, Meirav Zehavi

Reference:

Reducing CMSOL Model Checking to Highly Connected GraphsDaniel Lokshtanov, M. S. Ramanujan, Saket Saurabh, Meirav Zehavi2017.

Bibtex Entry:

@misc{LokshtanovRamanujanSZehavi17CMSO,
  author    = {Daniel Lokshtanov and
               M. S. Ramanujan and
               Saket Saurabh and Meirav Zehavi},
  title     = {Reducing CMSOL Model Checking to Highly Connected Graphs},
  year      = {2017}
    }