On the complexity of Hilbert refutations for partition

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2015
Source ID
10.1016/j.jsc.2013.06.005

Entities

People

  • D.v. Pasechnik
  • S. Margulies
  • S. Onn

Organizations

  • Defense Advanced Research Projects Agency
  • Israel Science Foundation
  • National Science Foundation
  • Rice University