Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: D
Number of items: 2.

D

Dantchev, Stefan and Martin, Barnaby (2013) Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems. Computational Complexity, 22 (1) . pp. 191-213. ISSN 1016-3328 [Article] (doi:10.1007/s00037-012-0049-1)

Dantchev, Stefan, Martin, Barnaby and Szeider, Stefan (2011) Parameterized proof complexity. Computational Complexity, 20 (1) . pp. 51-85. ISSN 1016-3328 [Article] (doi:10.1007/s00037-010-0001-1)

This list was generated on Fri Mar 31 05:04:47 2023 BST.