%0 Conference Paper %1 conf/cade/Subramani04 %A Subramani, K. %B IJCAR %D 2004 %E Basin, David A. %E Rusinowitch, Michaël %I Springer %K dblp %P 342-356 %T Analyzing Selected Quantified Integer Programs. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#Subramani04 %V 3097 %@ 3-540-22345-2

@inproceedings{conf/cade/Subramani04, added-at = {2024-02-09T00:00:00.000+0100}, author = {Subramani, K.}, biburl = {https://www.bibsonomy.org/bibtex/256ef877a51cb77a62568cbf314152b08/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2004}, editor = {Basin, David A. and Rusinowitch, Michaël}, ee = {https://doi.org/10.1007/978-3-540-25984-8_26}, interhash = {07c07c5ab967e6319c5e994e5e2904af}, intrahash = {56ef877a51cb77a62568cbf314152b08}, isbn = {3-540-22345-2}, keywords = {dblp}, pages = {342-356}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:07:56.000+0200}, title = {Analyzing Selected Quantified Integer Programs.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#Subramani04}, volume = 3097, year = 2004 }