Unified QBF Certification and its Applications

Journal

Formal Methods in System Design (FMSD)

Journal Volume

41

Journal Issue

1

Pages

45-65

Date Issued

2012-08

Author(s)

Valeriy Balabanov

Jie-Hong R. Jiang

DOI

10.1007/s10703-012-0152-6

URI

http://scholars.lib.ntu.edu.tw/handle/123456789/374360

Type

journal article