file_ihild3zgrfaibnz7dapd2idtsi

Associated Releases

2014 Henkin quantifiers and Boolean formulae: A certification perspective of DQBF
published | article-journal | ELSEVIER-USER-1.0
doi:10.1016/j.tcs.2013.12.020

Public Access URLs

webarchive https://web.archive.org/web/20170810185453/http://alcom.ee.ntu.edu.tw/publications/tcs14-dqbf.pdf
web http://alcom.ee.ntu.edu.tw/publications/tcs14-dqbf.pdf

Data Integrity Checksums

SHA-1 314004a9a4a5e5811c97c3a826ca34a6135e0062
SHA-256 8a639b69648ceee8fc2aade55ee0a61daa9d9c1312b89a95fa09c19b965c01b3
MD5 475df438ca604a963a34dd64d6ac55fa
View Archived File
Size  358.7 kB
MIME Type  application/pdf
Catalog Record
Revision: deaa4956-6569-4325-b210-3834c51a67c9
API URL: JSON