New Techniques in Clausal Form Generation (bibtex)
by Giles Reger, Martin Suda, Andrei Voronkov
Reference:
New Techniques in Clausal Form GenerationGiles Reger, Martin Suda, Andrei VoronkovGCAI 2016. 2nd Global Conference on Artificial Intelligence (Christoph Benzm\verb=\="uller, Geoff Sutcliffe, Raul Rojas, eds.), volume 41 of EPiC Series in Computing, pages 11-23, 2016, EasyChair.
Bibtex Entry:
@inproceedings{GCAI2016:New_Techniques_in_Clausal_Form_Generation,
  author    = {Giles Reger and Martin Suda and Andrei Voronkov},
  title     = {New Techniques in Clausal Form Generation},
  booktitle = {GCAI 2016. 2nd Global Conference on Artificial Intelligence},
  editor    = {Christoph Benzm\verb=\="uller and Geoff Sutcliffe and Raul Rojas},
  series    = {EPiC Series in Computing},
  volume    = {41},
  pages     = {11-23},
  year      = {2016},
  publisher = {EasyChair},
  url = {http://www.easychair.org/publications/download/New_Techniques_in_Clausal_Form_Generation}
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}
Powered by bibtexbrowser