%0 Conference Paper %1 conf/cav/DilligDA09 %A Dillig, Isil %A Dillig, Thomas %A Aiken, Alex %B CAV %D 2009 %E Bouajjani, Ahmed %E Maler, Oded %I Springer %K dblp %P 233-247 %T Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. %U http://dblp.uni-trier.de/db/conf/cav/cav2009.html#DilligDA09 %V 5643 %@ 978-3-642-02657-7

@inproceedings{conf/cav/DilligDA09, added-at = {2018-10-03T00:00:00.000+0200}, author = {Dillig, Isil and Dillig, Thomas and Aiken, Alex}, biburl = {https://www.bibsonomy.org/bibtex/2a1b3234e6156e32ffbc559dd4ff577f0/dblp}, booktitle = {CAV}, crossref = {conf/cav/2009}, editor = {Bouajjani, Ahmed and Maler, Oded}, ee = {https://doi.org/10.1007/978-3-642-02658-4_20}, interhash = {775d7076e6989c0b9652375d388b85a7}, intrahash = {a1b3234e6156e32ffbc559dd4ff577f0}, isbn = {978-3-642-02657-7}, keywords = {dblp}, pages = {233-247}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:06.000+0200}, title = {Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2009.html#DilligDA09}, volume = 5643, year = 2009 }