%0 Conference Paper %1 conf/cadgraphics/ZhaoW09 %A Zhao, Weinan %A Wu, Weimin %B CAD/Graphics %D 2009 %I IEEE %K dblp %P 508-513 %T ASIG: An all-solution SAT solver for CNF formulas. %U http://dblp.uni-trier.de/db/conf/cadgraphics/cadgraphics2009.html#ZhaoW09 %@ 978-1-4244-3699-6

@inproceedings{conf/cadgraphics/ZhaoW09, added-at = {2017-05-17T00:00:00.000+0200}, author = {Zhao, Weinan and Wu, Weimin}, biburl = {https://www.bibsonomy.org/bibtex/220560528fec840bce7c46611a4392c84/dblp}, booktitle = {CAD/Graphics}, crossref = {conf/cadgraphics/2009}, ee = {https://doi.org/10.1109/CADCG.2009.5246850}, interhash = {fca5f87f7c2b52987a2d77e66a2dd6df}, intrahash = {20560528fec840bce7c46611a4392c84}, isbn = {978-1-4244-3699-6}, keywords = {dblp}, pages = {508-513}, publisher = {IEEE}, timestamp = {2019-10-17T12:16:35.000+0200}, title = {ASIG: An all-solution SAT solver for CNF formulas.}, url = {http://dblp.uni-trier.de/db/conf/cadgraphics/cadgraphics2009.html#ZhaoW09}, year = 2009 }