Skip to main content
Menu
Filter Results
Search all journals
Enter search terms…
Advanced search
Search
Access/Profile
CHN
/
ENG
Browse
Information for
Search results
Search results page
Save Search
Articles (1)
Journals (0)
Save Search
1-1 of 1
results for
Lovasz-Schrijver proof system
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: Complexity of Semialgebraic Proofs with Restricted Degree of Falsity 1 2
Open access
Research article
First published February, 2010
Complexity of Semialgebraic Proofs with Restricted Degree of Falsity 1 2
Edward A. Hirsch,
Arist Kojevnikov,
Alexander S. Kulikov
[...]
View All
Journal on Satisfiability,Boolean Modelling and Computation
Preview Abstract
PDF
1
10 / page