%0 Conference Paper %1 conf/vlsid/YuBM08 %A Yu, Yinlei %A Brien, Cameron %A Malik, Sharad %B VLSI Design %D 2008 %I IEEE Computer Society %K dblp %P 461-468 %T Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers. %U http://dblp.uni-trier.de/db/conf/vlsid/vlsid2008.html#YuBM08 %@ 0-7695-3083-4

@inproceedings{conf/vlsid/YuBM08, added-at = {2023-09-30T00:00:00.000+0200}, author = {Yu, Yinlei and Brien, Cameron and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/2a3cf660b715e877fa607cfdfb7f9a8ca/dblp}, booktitle = {VLSI Design}, crossref = {conf/vlsid/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/VLSI.2008.90}, interhash = {662fb1f1b1c2fd8df14e3ad762ec9429}, intrahash = {a3cf660b715e877fa607cfdfb7f9a8ca}, isbn = {0-7695-3083-4}, keywords = {dblp}, pages = {461-468}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:19:22.000+0200}, title = {Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/vlsid/vlsid2008.html#YuBM08}, year = 2008 }