(Q59885771)

English

Are Short Proofs Narrow? QBF Resolution Is Not So Simple

No description defined

Statements

Are Short Proofs Narrow? QBF Resolution Is Not So Simple (English)
0 references
0 references
Leroy Chew
0 references
Meena Mahajan
0 references
Anil Shukla
0 references
21 December 2017
0 references
19
0 references
1-26
0 references
1
0 references

Identifiers

0 references
0 references
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit