%0 Conference Paper %1 conf/mtv/SchubertLB05 %A Schubert, Tobias %A Lewis, Matthew D. T. %A Becker, Bernd %B MTV %D 2005 %E Abadir, Magdy S. %E Wang, Li-C. %I IEEE Computer Society %K dblp %P 29-36 %T PaMira - A Parallel SAT Solver with Knowledge Sharing. %U http://dblp.uni-trier.de/db/conf/mtv/mtv2005.html#SchubertLB05 %@ 0-7695-2627-6

@inproceedings{conf/mtv/SchubertLB05, added-at = {2015-04-17T00:00:00.000+0200}, author = {Schubert, Tobias and Lewis, Matthew D. T. and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dcfe37b9a37c04660de355416c3e45de/dblp}, booktitle = {MTV}, crossref = {conf/mtv/2005}, editor = {Abadir, Magdy S. and Wang, Li-C.}, ee = {http://doi.ieeecomputersociety.org/10.1109/MTV.2005.17}, interhash = {1108d3ddd74f5b0298abbd6e34c669ae}, intrahash = {dcfe37b9a37c04660de355416c3e45de}, isbn = {0-7695-2627-6}, keywords = {dblp}, pages = {29-36}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:35:12.000+0100}, title = {PaMira - A Parallel SAT Solver with Knowledge Sharing.}, url = {http://dblp.uni-trier.de/db/conf/mtv/mtv2005.html#SchubertLB05}, year = 2005 }