%0 Conference Paper %1 conf/glvlsi/UstaogluHGD18 %A Ustaoglu, Buse %A Huhn, Sebastian %A Große, Daniel %A Drechsler, Rolf %B ACM Great Lakes Symposium on VLSI %D 2018 %E Chen, Deming %E Homayoun, Houman %E Taskin, Baris %I ACM %K dblp %P 479-482 %T SAT-Lancer: A Hardware SAT-Solver for Self-Verification. %U http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2018.html#UstaogluHGD18

@inproceedings{conf/glvlsi/UstaogluHGD18, added-at = {2019-09-16T00:00:00.000+0200}, author = {Ustaoglu, Buse and Huhn, Sebastian and Große, Daniel and Drechsler, Rolf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2765072a981774fbdff0d3189b55bccf5/dblp}, booktitle = {ACM Great Lakes Symposium on VLSI}, crossref = {conf/glvlsi/2018}, editor = {Chen, Deming and Homayoun, Houman and Taskin, Baris}, ee = {https://www.wikidata.org/entity/Q60373789}, interhash = {59347f9f7269f6e4b98bd72818255d67}, intrahash = {765072a981774fbdff0d3189b55bccf5}, keywords = {dblp}, pages = {479-482}, publisher = {ACM}, timestamp = {2019-09-27T19:33:31.000+0200}, title = {SAT-Lancer: A Hardware SAT-Solver for Self-Verification.}, url = {http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2018.html#UstaogluHGD18}, year = 2018 }