Authors: Guseinov, Elmar
Subject Terms: Combinatorics and discrete mathematics excl. physical combinatorics, Mathematical logic, set theory, lattices and universal algebra
Authors: Guseinov, Elmar
Subject Terms: Combinatorics and discrete mathematics excl. physical combinatorics, Mathematical logic, set theory, lattices and universal algebra
Authors: van Dijk, Tom, Loho, Georg, Maat, Matthew T.
Subject Terms: Parity game, Mean payoff game, Symmetric strategy improvement, Strategy improvement, Worst-case complexity, Theory of computation → Logic and verification, Mathematics of computing → Discrete mathematics
File Description: application/pdf
Relation: https://github.com/MatthewMaat/SI-animations/tree/master/Example%20animations; https://github.com/trolando/oink; https://dx.doi.org/10.48550/arXiv.2309.02223; https://dx.doi.org/10.4230/LIPIcs.CSL.2024; https://dx.doi.org/10.1142/S0218196711006674; https://dx.doi.org/10.1016/j.dam.2006.04.029; https://dx.doi.org/10.1007/s00224-017-9762-0; https://dx.doi.org/10.1007/s10703-010-0105-x; https://dx.doi.org/10.1145/3055399.3055409; https://dx.doi.org/10.1016/0890-5401(92)90048-K; https://dx.doi.org/10.1137/1.9781611975482.142; https://dx.doi.org/10.3389/fcomp.2022.936903; https://dx.doi.org/10.1007/s10107-022-01848-x; https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.114; https://dx.doi.org/10.1016/S0304-3975(00)00034-7; https://dx.doi.org/10.1007/978-3-319-63390-9_8; https://dx.doi.org/10.1007/s10009-019-00509-3; https://dx.doi.org/10.4230/LIPIcs.MFCS.2020.34
Availability: https://doi.org/10.4230/lipics.csl.2024.2410.48550/arXiv.2309.0222310.4230/LIPIcs.CSL.202410.1142/S021819671100667410.1016/j.dam.2006.04.02910.1007/s00224-017-9762-010.1007/s10703-010-0105-x10.1145/3055399.305540910.1016/0890-5401(92)90048-K10.1137/1.9781611975482.14210.3389/fcomp.2022.93690310.1007/s10107-022-01848-x10.4230/LIPIcs.ICALP.2019.11410.1016/S0304-3975(00)00034-710.1007/978-3-319-63390-9_810.1007/s10009-019-00509-310.4230/LIPIcs.MFCS.2020.34
Authors: Karam, Thomas
Subject Terms: Slice rank, tensors, sunflowers, decompositions, Mathematics of computing → Discrete mathematics, Mathematics of computing → Combinatorics
File Description: application/pdf
Subject Terms: Peer-to-Peer Networks, Overlay Construction Protocol, Gossip, Expanders, Sublinear Bounds, Theory of computation → Distributed algorithms, Mathematics of computing → Probabilistic algorithms, Mathematics of computing → Discrete mathematics
File Description: application/pdf
Relation: https://dx.doi.org/10.4230/LIPIcs.ITCS.2024; https://dx.doi.org/10.1145/3490148.3538588; https://dx.doi.org/10.1145/3323165.3323195; https://dx.doi.org/10.1145/2213977.2214064; https://dx.doi.org/10.1137/110845380; https://dx.doi.org/10.1145/3369740.3369778; https://dx.doi.org/10.1007/s00453-016-0269-x; https://dx.doi.org/10.4230/LIPIcs.DISC.2018.31; https://dx.doi.org/10.4230/LIPIcs.ICALP.2017.137; https://dx.doi.org/10.1145/1989284.1989289; https://dx.doi.org/10.1109/SFCS.2000.892324; https://dx.doi.org/10.1145/2767386.2767405; https://dx.doi.org/10.1145/2699440; https://dx.doi.org/10.6084/m9.figshare.1164194
Authors: Berardi, Stefano, Buriola, Gabriele, Schuster, Peter
Subject Terms: intuitionistic logic, constructive mathematics, formal proof, inductive predicate, bar induction, well quasi-order, Higman’s lemma, Theory of computation → Constructive mathematics, Theory of computation → Proof theory, Mathematics of computing → Discrete mathematics
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.486; https://dx.doi.org/10.4230/LIPIcs.CSL.2024; https://dx.doi.org/10.1016/j.entcs.2008.05.018; https://dx.doi.org/10.1007/978-3-030-30229-0_9; https://dx.doi.org/10.1007/978-3-319-29198-7_11; https://dx.doi.org/10.1007/978-3-030-30229-0_12
Authors: Unkn Unknown
Subject Terms: combinatorics, matrix theory, zachary hall, dimers, tilings, monomers, Discrete Mathematics and Combinatorics
Authors: Dubinsky, Manuel, Chao, Kun-Mao, Massri, César, Taubin, Gabriel
Subject Terms: Discrete Mathematics cs.DM, FOS Computer and information sciences
Authors: Pereira, Felipe de Carvalho, de Rezende, Pedro Jussieu, Yunes, Tallys, Morato, Luiz Fernando Batista
Subject Terms: Discrete Mathematics cs.DM, FOS Computer and information sciences
Authors: Das, Dibyendu, Dey, Soumyajit