|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
Corrections to 'Global Optimization for Satisfiability (SAT) Problem'
February 1995 (vol. 7 no. 1)
pp. 192
| ASCII Text | x | ||
| "Corrections to 'Global Optimization for Satisfiability (SAT) Problem'," IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 1, pp. 192, February, 1995. | |||
| BibTex | x | ||
| @article{ 10.1109/TKDE.1995.10000, author = {}, title = {Corrections to 'Global Optimization for Satisfiability (SAT) Problem'}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {7}, number = {1}, issn = {1041-4347}, year = {1995}, pages = {192}, doi = {http://doi.ieeecomputersociety.org/10.1109/TKDE.1995.10000}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Knowledge and Data Engineering TI - Corrections to 'Global Optimization for Satisfiability (SAT) Problem' IS - 1 SN - 1041-4347 SP EP EPD - 192 PY - 1995 VL - 7 JA - IEEE Transactions on Knowledge and Data Engineering ER - | |||
Citation:
"Corrections to 'Global Optimization for Satisfiability (SAT) Problem'," IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 1, pp. 192, Feb. 1995, doi:10.1109/TKDE.1995.10000
Usage of this product signifies your acceptance of the Terms of Use.