Back to Results
First PageMeta Content
Cutting-plane method / Resolution / Logic / Ordinary differential equations / Spectral theory / Binomial series / Formula for primes / Mathematics / Automated theorem proving / Mathematical analysis


A separation between semantic and syntactic cutting planes Yuval Filmus Massimo Lauria March 30, 2013
Add to Reading List

Document Date: 2013-03-30 17:20:08


Open Document

File Size: 321,21 KB

Share Result on Facebook
UPDATE