×

zbMATH — the first resource for mathematics

Found 515 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Yarullin, Rashid
Constructing mixed algorithms on the basis of some bundle method. (English) Zbl 1460.90139
Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1275, 150-163 (2020).
MSC:  90C25
PDF BibTeX XML Cite
\textit{R. Yarullin}, Commun. Comput. Inf. Sci. 1275, 150--163 (2020; Zbl 1460.90139)
Full Text: DOI
Göös, Mika; Koroth, Sajin; Mertz, Ian; Pitassi, Toniann
Automating cutting planes is NP-hard. (English) Zbl 07298231
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM). 68-77 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{M. Göös} et al., in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 68--77 (2020; Zbl 07298231)
Full Text: DOI
Hildebrand, Robert; Köppe, Matthias; Zhou, Yuan
On perturbation spaces of minimal valid functions: inverse semigroup theory and equivariant decomposition theorem. (English) Zbl 1436.90084
Lodi, Andrea (ed.) et al., Integer programming and combinatorial optimization. 20th international conference, IPCO 2019, Ann Arbor, MI, USA, May 22–24, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11480, 247-260 (2019).
MSC:  90C10
PDF BibTeX XML Cite
\textit{R. Hildebrand} et al., Lect. Notes Comput. Sci. 11480, 247--260 (2019; Zbl 1436.90084)
Full Text: DOI
Davarnia, Danial; Hooker, J. N.
Consistency for \(0-1\) programming. (English) Zbl 07116696
Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11494, 225-240 (2019).
MSC:  68T20 90C27
PDF BibTeX XML Cite
\textit{D. Davarnia} and \textit{J. N. Hooker}, Lect. Notes Comput. Sci. 11494, 225--240 (2019; Zbl 07116696)
Full Text: DOI
Beame, Paul; Fleming, Noah; Impagliazzo, Russell; Kolokolova, Antonina; Pankratov, Denis; Pitassi, Toniann; Robere, Robert
Stabbing planes. (English) Zbl 1462.68077
Karlin, Anna R. (ed.), 9th innovations in theoretical computer science conference, ITCS 2018, Cambridge, MA, USA, January 11–14, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 94, Article 10, 20 p. (2018).
MSC:  68Q25 03F20 68Q11 90C10
PDF BibTeX XML Cite
\textit{P. Beame} et al., LIPIcs -- Leibniz Int. Proc. Inform. 94, Article 10, 20 p. (2018; Zbl 1462.68077)
Full Text: DOI
de Oliveira Oliveira, Mateus; Pudlák, Pavel
Representations of monotone Boolean functions by linear programs. (English) Zbl 1440.68078
O’Donnell, Ryan (ed.), 32nd computational complexity conference, CCC 2017, July 6–9, 2017, Riga, Latvia. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 79, Article 3, 14 p. (2017).
MSC:  68Q06 03F20 68Q17
PDF BibTeX XML Cite
\textit{M. de Oliveira Oliveira} and \textit{P. Pudlák}, LIPIcs -- Leibniz Int. Proc. Inform. 79, Article 3, 14 p. (2017; Zbl 1440.68078)
Full Text: DOI
Lauria, Massimo; Nordström, Jakob
Graph colouring is hard for algorithms based on Hilbert’s Nullstellensatz and Gröbner bases. (English) Zbl 1440.68105
O’Donnell, Ryan (ed.), 32nd computational complexity conference, CCC 2017, July 6–9, 2017, Riga, Latvia. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 79, Article 2, 20 p. (2017).
MSC:  68Q17 03F20 05C15 13P10
PDF BibTeX XML Cite
\textit{M. Lauria} and \textit{J. Nordström}, LIPIcs -- Leibniz Int. Proc. Inform. 79, Article 2, 20 p. (2017; Zbl 1440.68105)
Full Text: DOI
Coniglio, Stefano; Gualandi, Stefano
On the separation of topology-free rank inequalities for the max stable set problem. (English) Zbl 1433.68286
Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 29, 13 p. (2017).
MSC:  68R10 68Q17 90C27 90C57
PDF BibTeX XML Cite
\textit{S. Coniglio} and \textit{S. Gualandi}, LIPIcs -- Leibniz Int. Proc. Inform. 75, Article 29, 13 p. (2017; Zbl 1433.68286)
Full Text: DOI
Köppe, Matthias; Wang, Jiawei
Structure and interpretation of dual-feasible functions. (English) Zbl 1397.90274
Bassino, Frédérique (ed.) et al., LAGOS 2017. Selected papers of the 9th Latin-American algorithms, graphs, and optimization symposium, Marseille, France, September 11–15, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 62, 153-158 (2017).
MSC:  90C10 90C46
PDF BibTeX XML Cite
\textit{M. Köppe} and \textit{J. Wang}, Electron. Notes Discrete Math. 62, 153--158 (2017; Zbl 1397.90274)
Full Text: DOI
Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil
Understanding cutting planes for QBFs. (English) Zbl 1391.03041
Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 40, 15 p. (2016).
MSC:  03F20
PDF BibTeX XML Cite
\textit{O. Beyersdorff} et al., LIPIcs -- Leibniz Int. Proc. Inform. 65, Article 40, 15~p. (2016; Zbl 1391.03041)
Full Text: DOI
Filmus, Yuval; Hrubeš, Pavel; Lauria, Massimo
Semantic versus syntactic cutting planes. (English) Zbl 1388.03054
Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 35, 13 p. (2016).
MSC:  03F20
PDF BibTeX XML Cite
\textit{Y. Filmus} et al., LIPIcs -- Leibniz Int. Proc. Inform. 47, Article 35, 13 p. (2016; Zbl 1388.03054)
Full Text: DOI
Hong, Chun Yu; Köppe, Matthias; Zhou, Yuan
Software for cut-generating functions in the Gomory-Johnson model and beyond. (English) Zbl 1434.68706
Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 284-291 (2016).
MSC:  68W30 90-04 90C10
PDF BibTeX XML Cite
\textit{C. Y. Hong} et al., Lect. Notes Comput. Sci. 9725, 284--291 (2016; Zbl 1434.68706)
Full Text: DOI arXiv

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software