%0 Conference Paper %1 conf/ictac/FelgenhauerM17 %A Felgenhauer, Bertram %A Middeldorp, Aart %B ICTAC %D 2017 %E Hung, Dang Van %E Kapur, Deepak %I Springer %K dblp %P 213-228 %T Constructing Cycles in the Simplex Method for DPLL(T). %U http://dblp.uni-trier.de/db/conf/ictac/ictac2017.html#FelgenhauerM17 %V 10580 %@ 978-3-319-67729-3

@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 }