Exponential lower bound for static semi-algebraic proofs
Conference Paper
(2002)
Author(s)
D Grigoriev (External organisation)
EA Hirsch (External organisation)
DV Pasechnik (TU Delft - Old - EWI Ch. Optimization Technology)
Research Group
Old - EWI Ch. Optimization Technology
To reference this document use:
https://resolver.tudelft.nl/uuid:28323f63-afaa-4ae9-b5a3-78c766d3594f
More Info
expand_more
expand_more
Publication Year
2002
Research Group
Old - EWI Ch. Optimization Technology
Pages (from-to)
257-268
ISBN (print)
0302-9743
No files available
Metadata only record. There are no files for this record.