×

Found 286 Documents (Results 1–100)

Shortest \(k\)-disjoint paths via determinants. (English) Zbl 1528.68285

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 19, 21 p. (2018).

Inclusion-exclusion integral and t-norm based data analysis model construction. (English) Zbl 1452.68212

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 610, 65-77 (2016).
MSC:  68T37 28E10
Full Text: DOI

Applications of incidence bounds in point covering problems. (English) Zbl 1387.68225

Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 60, 15 p. (2016).
MSC:  68U05 68Q25

Automatic proofs for formulae enumerating proper polycubes. (English) Zbl 1378.68152

Arge, Lars (ed.) et al., 31st international symposium on computational geometry, SoCG’15, Eindhoven, Netherlands, June 22–25, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-83-5). LIPIcs – Leibniz International Proceedings in Informatics 34, 19-22 (2015).
MSC:  68U05 05A15 05B50 68T15
Full Text: DOI

Simplifying inclusion-exclusion formulas. (English) Zbl 1290.05018

Nešetřil, Jaroslav (ed.) et al., The seventh European conference on combinatorics, graph theory and applications. Extended abstracts of EuroComb 2013, Pisa, Italy, September 9–13, 2013. Pisa: Edizioni della Normale (ISBN 978-88-7642-474-8/pbk; 978-88-7642-475-5/ebook). Centro di Ricerca Matematica Ennio De Giorgi (CRM) Series 16, 559-565 (2013).
MSC:  05A18

An introduction to exponential time exact algorithms for solving NP-hard problems. (English) Zbl 1242.90188

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). 443-468 (2012).
MSC:  90C27 90C57 90C60

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