×

Found 142 Documents (Results 1–100)

Newest Citations Relevance
Trimble, James

PACE solver description: Tweed-Plus: a subtree-improving heuristic solver for treedepth. (English) Zbl 07764126

Cao, Yixin (ed.) et al., 15th international symposium on parameterized and exact computation, IPEC 2020, Hong Kong, China, virtual conference, December 14–18, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 180, Article 35, 4 p. (2020).
MSC:  68Q25 68Q27 68Wxx
Cite Review PDF
Full Text: DOI
Trimble, James

PACE solver description: Bute-Plus: a bottom-up exact solver for treedepth. (English) Zbl 07764125

Cao, Yixin (ed.) et al., 15th international symposium on parameterized and exact computation, IPEC 2020, Hong Kong, China, virtual conference, December 14–18, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 180, Article 34, 4 p. (2020).
MSC:  68Q25 68Q27 68Wxx
Cite Review PDF
Full Text: DOI arXiv
Swat, Sylwester

PACE solver description: finding elimination trees using ExTREEm – a heuristic solver for the treedepth decomposition problem. (English) Zbl 07764124

Cao, Yixin (ed.) et al., 15th international symposium on parameterized and exact computation, IPEC 2020, Hong Kong, China, virtual conference, December 14–18, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 180, Article 33, 4 p. (2020).
MSC:  68Q25 68Q27 68Wxx
Cite Review PDF
Full Text: DOI
Hetzl, Stefan; Zivota, Sebastian

Tree grammars for the elimination of non-prenex cuts. (English) Zbl 1373.03123

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 110-127 (2015).
MSC:  03F05 68Q42
Cite Review PDF
Full Text: DOI
Hetzl, Stefan; Straßburger, Lutz

Herbrand-confluence for cut elimination in classical first order logic. (English) Zbl 1252.03123

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 320-334, electronic only (2012).
MSC:  03F05 03B10 03D05 68Q42
Cite Review PDF
Full Text: DOI
Lucena, Abilio; Maculan, Nelson; Salles da Cunha, Alexandra

Relax-and-cut as a preprocessor and warm starter to branch-and-cut. (English) Zbl 1242.90278

Mahjoub, Ridha A. (ed.), Progress in combinatorial optimization. Selected papers based on the presentations at the international symposium (ISCO 2010), Hammamet, Tunisia, March 24–26, 2010. London: ISTE; Hoboken, NJ: John Wiley & Sons (ISBN 978-1-84821-206-0/hbk). 171-201 (2012).
MSC:  90C35 90C57
Cite Review PDF
Haouari, Mohamed; Layeb, Safa Bhar; Sherali, Hanif D.

Strength of three MIP formulations for the prize collecting Steiner tree problem with a quota constraint. (English) Zbl 1237.90243

Haouari, M. (ed.) et al., ISCO 2010. International symposium on combinatorial optimization. Papers based on the presentations at the symposium, Hammamet, Tunesia, March 24–26, 2010. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 36, 495-502 (2010).
MSC:  90C35 05C85 90C27
Cite Review PDF
Full Text: DOI
Leggieri, Valeria; Haouari, Mohamed; Triki, Chefi

An exact algorithm for the Steiner tree problem with delays. (English) Zbl 1237.90244

Haouari, M. (ed.) et al., ISCO 2010. International symposium on combinatorial optimization. Papers based on the presentations at the symposium, Hammamet, Tunesia, March 24–26, 2010. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 36, 223-230 (2010).
MSC:  90C35 90C57 90C27
Cite Review PDF
Full Text: DOI
Alvarado, Fernando L.; Pothen, Alex; Schreiber, Robert

Highly parallel sparse triangular solution. (English) Zbl 0794.65019

George, Alan (ed.) et al., Graph theory and sparse matrix computation. Proceedings of a workshop that was an integral part of the 1991-92 IMA program on “Applied linear algebra”, Minneapolis, MN (USA). New York: Springer-Verlag. IMA Vol. Math. Appl. 56, 141-157 (1993).
Reviewer: S.Zabek (Lublin)
MSC:  65F05 65F50 65Y05 68R10 65F25
Cite Review PDF

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software