%0 Conference Paper %1 conf/dac/GanaiAGZM02 %A Ganai, Malay K. %A Ashar, Pranav %A Gupta, Aarti %A Zhang, Lintao %A Malik, Sharad %B DAC %D 2002 %I ACM %K dblp %P 747-750 %T Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver. %U http://dblp.uni-trier.de/db/conf/dac/dac2002.html#GanaiAGZM02 %@ 1-58113-461-4

@inproceedings{conf/dac/GanaiAGZM02, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ganai, Malay K. and Ashar, Pranav and Gupta, Aarti and Zhang, Lintao and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/2ceb20222c209474088e72530cbea820f/dblp}, booktitle = {DAC}, crossref = {conf/dac/2002}, ee = {https://doi.org/10.1145/513918.514105}, interhash = {e1d9c5cdfab2c93c7aeac7c625dd508d}, intrahash = {ceb20222c209474088e72530cbea820f}, isbn = {1-58113-461-4}, keywords = {dblp}, pages = {747-750}, publisher = {ACM}, timestamp = {2024-04-10T06:50:40.000+0200}, title = {Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2002.html#GanaiAGZM02}, year = 2002 }