@inproceedings{conf/ictac/FelgenhauerM17,
  added-at = {2018-11-02T00:00:00.000+0100},
  author = {Felgenhauer, Bertram and Middeldorp, Aart},
  biburl = {https://www.bibsonomy.org/bibtex/2898582cb5240b401028d46ac6107848d/dblp},
  booktitle = {ICTAC},
  crossref = {conf/ictac/2017},
  editor = {Hung, Dang Van and Kapur, Deepak},
  ee = {https://doi.org/10.1007/978-3-319-67729-3_13},
  interhash = {9e179dd9cdb500f5af49cad311d44ba7},
  intrahash = {898582cb5240b401028d46ac6107848d},
  isbn = {978-3-319-67729-3},
  keywords = {dblp},
  pages = {213-228},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T14:12:32.000+0200},
  title = {Constructing Cycles in the Simplex Method for DPLL(T).},
  url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2017.html#FelgenhauerM17},
  volume = 10580,
  year = 2017
}

{"_id":"S3n3NkSTwAgByBEgm","bibbaseid":"felgenhauer-middeldorp-constructingcyclesinthesimplexmethodfordpllt-2017","authorIDs":[],"author_short":["Felgenhauer, B.","Middeldorp, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-02T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Felgenhauer"],"firstnames":["Bertram"],"suffixes":[]},{"propositions":[],"lastnames":["Middeldorp"],"firstnames":["Aart"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2898582cb5240b401028d46ac6107848d/dblp","booktitle":"ICTAC","crossref":"conf/ictac/2017","editor":[{"propositions":[],"lastnames":["Hung"],"firstnames":["Dang","Van"],"suffixes":[]},{"propositions":[],"lastnames":["Kapur"],"firstnames":["Deepak"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-319-67729-3_13","interhash":"9e179dd9cdb500f5af49cad311d44ba7","intrahash":"898582cb5240b401028d46ac6107848d","isbn":"978-3-319-67729-3","keywords":"dblp","pages":"213-228","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T14:12:32.000+0200","title":"Constructing Cycles in the Simplex Method for DPLL(T).","url":"http://dblp.uni-trier.de/db/conf/ictac/ictac2017.html#FelgenhauerM17","volume":"10580","year":"2017","bibtex":"@inproceedings{conf/ictac/FelgenhauerM17,\n added-at = {2018-11-02T00:00:00.000+0100},\n author = {Felgenhauer, Bertram and Middeldorp, Aart},\n biburl = {https://www.bibsonomy.org/bibtex/2898582cb5240b401028d46ac6107848d/dblp},\n booktitle = {ICTAC},\n crossref = {conf/ictac/2017},\n editor = {Hung, Dang Van and Kapur, Deepak},\n ee = {https://doi.org/10.1007/978-3-319-67729-3_13},\n interhash = {9e179dd9cdb500f5af49cad311d44ba7},\n intrahash = {898582cb5240b401028d46ac6107848d},\n isbn = {978-3-319-67729-3},\n keywords = {dblp},\n pages = {213-228},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T14:12:32.000+0200},\n title = {Constructing Cycles in the Simplex Method for DPLL(T).},\n url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2017.html#FelgenhauerM17},\n volume = 10580,\n year = 2017\n}\n\n","author_short":["Felgenhauer, B.","Middeldorp, A."],"editor_short":["Hung, D. V.","Kapur, D."],"key":"conf/ictac/FelgenhauerM17","id":"conf/ictac/FelgenhauerM17","bibbaseid":"felgenhauer-middeldorp-constructingcyclesinthesimplexmethodfordpllt-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-319-67729-3_13","Paper":"http://dblp.uni-trier.de/db/conf/ictac/ictac2017.html#FelgenhauerM17"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Bertram?items=1000","creationDate":"2020-08-03T18:34:52.903Z","downloads":0,"keywords":["dblp"],"search_terms":["constructing","cycles","simplex","method","dpll","felgenhauer","middeldorp"],"title":"Constructing Cycles in the Simplex Method for DPLL(T).","year":2017,"dataSources":["fYGRSD8HXJYwZPaY7"]}