Finding models through graph saturation. Joosten, S. J. C. CoRR, 2018.
Finding models through graph saturation. [link]Link  Finding models through graph saturation. [link]Paper  bibtex   
@article{journals/corr/abs-1806-09392,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Joosten, Sebastiaan J. C.},
  biburl = {https://www.bibsonomy.org/bibtex/257de442c2e994456355998197532d193/dblp},
  ee = {http://arxiv.org/abs/1806.09392},
  interhash = {3135ac5a3c7ea9903e26b476a77da0d6},
  intrahash = {57de442c2e994456355998197532d193},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T11:50:23.000+0200},
  title = {Finding models through graph saturation.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1806.html#abs-1806-09392},
  volume = {abs/1806.09392},
  year = 2018
}

Downloads: 0