×

Found 254 Documents (Results 1–100)

100
MathJax

ProCount: weighted projected model counting with graded project-join trees. (English) Zbl 07495571

Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 152-170 (2021).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI

A tight approximation algorithm for the cluster vertex deletion problem. (English) Zbl 1482.90176

Singh, Mohit (ed.) et al., Integer programming and combinatorial optimization. 22nd international conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12707, 340-353 (2021).
MSC:  90C27 90C59
PDF BibTeX XML Cite
Full Text: DOI arXiv

Characterizing marginalization and incremental operations on the Bayes tree. (English) Zbl 1469.68123

Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 227-242 (2021).
MSC:  68T40
PDF BibTeX XML Cite
Full Text: DOI

Graph classes and approximability of the happy set problem. (English) Zbl 07336116

Kim, Donghyun (ed.) et al., Computing and combinatorics. 26th international conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12273, 335-346 (2020).
MSC:  68Rxx
PDF BibTeX XML Cite
Full Text: DOI

Recognizing graph search trees. (English) Zbl 07515172

Coutinho, Gabriel (ed.) et al., Proceedings of LAGOS 2019, the tenth Latin and American algorithms, graphs and optimization symposium, Belo Horizonte, Brazil, June 2–7 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 346, 99-110 (2019).
MSC:  05Cxx 90Cxx
PDF BibTeX XML Cite
Full Text: DOI

Decomposition in multidimensional Boolean-optimization problems with sparse matrices. (English. Russian original) Zbl 1391.90413

J. Comput. Syst. Sci. Int. 57, No. 1, 97-108 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 1, 98-110 (2018).
MSC:  90C09
PDF BibTeX XML Cite
Full Text: DOI

Improved bounds for poset sorting in the forbidden-comparison regime. (English) Zbl 1485.68087

Gaur, Daya (ed.) et al., Algorithms and discrete applied mathematics. Third international conference, CALDAM 2017, Sancoale, Goa, India, February 16–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10156, 50-59 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Twins in subdivision drawings of hypergraphs. (English) Zbl 1483.68262

Hu, Yifan (ed.) et al., Graph drawing and network visualization. 24th international symposium, GD 2016, Athens, Greece, September 19–21, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9801, 67-80 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Graphical models and message-passing algorithms: some introductory lectures. (English) Zbl 1338.62017

Fagnani, Fabio (ed.) et al., Mathematical foundations of complex networked information systems. Lectures of the CIME course. Politecnico di Torino, Verrès, Italy 2009. Cham: Springer; Florence: Fondazione CIME (ISBN 978-3-319-16966-8/pbk; 978-3-319-16967-5/ebook). Lecture Notes in Mathematics 2141. CIME Foundation Subseries, 51-108 (2015).
PDF BibTeX XML Cite
Full Text: DOI

A faster algorithm to recognize even-hole-free graphs. (English) Zbl 1423.05129

Rabani, Yuval (ed.), Proceedings of the 23rd annual ACM-SIAM symposium on discrete algorithms, SODA 2012, Kyoto, Japan, January 17–19, 2012. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1286-1297 (2012).
PDF BibTeX XML Cite
Full Text: Link

Exploiting separators for guiding VNS. (English) Zbl 1268.68152

Sifaleras, Angelo (ed.) et al., Selected papers of the 28th EURO mini conference (MEC XXVIII) on variable neighborhood search, Herceg Novi, Mentenegro, October 4–7, 2012. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 39, 265-272 (2012).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI HAL

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