Wikidata

(Q59885771)

English

Are Short Proofs Narrow? QBF Resolution Is Not So Simple

No description defined

In more languages

Statements

title
Are Short Proofs Narrow? QBF Resolution Is Not So Simple (English)
0 references
author name string
Meena Mahajan
series ordinal
3
0 references
Anil Shukla
series ordinal
4
0 references
publication date
21 December 2017
0 references
volume
19
0 references
page(s)
1-26
0 references
issue
1
0 references

Identifiers

DOI
10.1145/3157053
0 references
Microsoft Academic ID
2778491775
0 references
2288678542
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q59885771&oldid=2120195569"