Opening book details…
About this Physics and Astronomy article
Rigorous Estimation of Computational Complexity for OMV SAT Algorithm by Iriyama, Satoshi; Ohya, Masanori is a Physics and Astronomy article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Physics and Astronomy.
- Author
- Iriyama, Satoshi; Ohya, Masanori
- Publisher
- World Scientific Publishing Company; World Scientific ; World Scientific Publishing Co; Springer Science and Business Media LLC; World Scientific Pub Co Pte Lt (ISSN 1230-1612)
- Published
- 2008
- Field
- Physics and Astronomy (Physical Sciences)