%0 Conference Paper %1 conf/date/ZhangM03 %A Zhang, Lintao %A Malik, Sharad %B DATE %D 2003 %I IEEE Computer Society %K dblp %P 10880-10885 %T Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications. %U http://dblp.uni-trier.de/db/conf/date/date2003.html#ZhangM03 %@ 0-7695-1870-2

@inproceedings{conf/date/ZhangM03, added-at = {2023-09-30T00:00:00.000+0200}, author = {Zhang, Lintao and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/21f2fe354711626965ce8d8a394ca4d9e/dblp}, booktitle = {DATE}, crossref = {conf/date/2003}, ee = {http://dl.acm.org/citation.cfm?id=1022835}, interhash = {52582bc16cfd4c8361193ef30a960832}, intrahash = {1f2fe354711626965ce8d8a394ca4d9e}, isbn = {0-7695-1870-2}, keywords = {dblp}, pages = {10880-10885}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:54:02.000+0200}, title = {Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications.}, url = {http://dblp.uni-trier.de/db/conf/date/date2003.html#ZhangM03}, year = 2003 }