Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}