History
1
au:Balabanov, V*
4


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 4 of 4 total

Resolution proofs and Skolem functions in QBF evaluation and applications. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 149-164 (2011).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
TSV-aware analytical placement for 3D IC designs (English)
DAC, 664-669 (2011).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
Resolution proofs and skolem functions in QBF evaluation and applications (English)
CAV, 149-164 (2011).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
An algorithm for fast optimal Latin hypercube design of experiments. (English)
Int. J. Numer. Methods Eng. 82, No. 2, 135-156 (2010).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 4 of 4 total

Valid XHTML 1.0 Transitional Valid CSS!