Showing 61 - 80 results of 294 for search ' Schloss Dagstuhl', query time: 0.09s Refine Results
  1. 61
    Counting triangles under updates in worst-case optimal time

    Counting triangles under updates in worst-case optimal time by Kara, A, Ngo, H, Nikolic, M, Olteanu, D, Zhang, H

    Published 2019
    “…Schloss Dagstuhl…”
    Conference item
  2. 62
    Synchronizing Data Words for Register Automata

    Synchronizing Data Words for Register Automata by Shirmohammadi, M, Babari, P, Quaas, K

    Published 2016
    “…Schloss Dagstuhl…”
    Conference item
  3. 63
    Additive sparsification of CSPs

    Additive sparsification of CSPs by Pelleg, E, Zivny, S

    Published 2021
    “…Schloss Dagstuhl…”
    Conference item
  4. 64
    Supplementarity is necessary for quantum diagram reasoning

    Supplementarity is necessary for quantum diagram reasoning by Perdrix, S, Wang, Q

    Published 2016
    “…Schloss Dagstuhl…”
    Conference item
  5. 65
    Approximate bisimulation minimisation

    Approximate bisimulation minimisation by Kiefer, S, Tang, Q

    Published 2021
    “…Schloss Dagstuhl…”
    Conference item
  6. 66
    A logarithmic approximation of linearly-ordered colourings

    A logarithmic approximation of linearly-ordered colourings by Håstad, J, Martinsson, B, Nakajima, T-V, Zivny, S

    Published 2024
    “…Schloss Dagstuhl…”
    Conference item
  7. 67
    Stable matching with evolving preferences

    Stable matching with evolving preferences by Kanade, V, Leonardos, N, Magniez, F

    Published 2016
    “…Schloss Dagstuhl…”
    Conference item
  8. 68
    A complete dichotomy for complex-valued Holant^c

    A complete dichotomy for complex-valued Holant^c by Backens, M

    Published 2018
    “…Schloss Dagstuhl…”
    Conference item
  9. 69
    Sampling from the random cluster model on random regular graphs at all temperatures via Glauber dynamics

    Sampling from the random cluster model on random regular graphs at all temperatures via Glauber dynamics by Galanis, A, Goldberg, L, Smolarova, P

    Published 2023
    “…Schloss Dagstuhl…”
    Conference item
  10. 70
    Further collapses in TFNP

    Further collapses in TFNP by Göös, M, Hollender, A, Jain, S, Maystre, G, Pires, W, Robere, R, Tao, R

    Published 2022
    “…Schloss Dagstuhl…”
    Conference item
  11. 71
    Characterizing definability in decidable fixpoint logics

    Characterizing definability in decidable fixpoint logics by Benedikt, M, Bourhis, P, Vanden Boom, M

    Published 2017
    “…Schloss Dagstuhl…”
    Conference item
  12. 72
    A complexity trichotomy for approximately counting list H-colourings

    A complexity trichotomy for approximately counting list H-colourings by Goldberg, L, Galanis, A, Jerrum, M

    Published 2016
    “…Schloss Dagstuhl…”
    Conference item
  13. 73
    Pseudo-derandomizing learning and approximation

    Pseudo-derandomizing learning and approximation by Oliveira, I, Santhanam, R

    Published 2018
    “…Schloss Dagstuhl…”
    Conference item
  14. 74
    QCSP on reflexive tournaments

    QCSP on reflexive tournaments by Larose, B, Markovic, P, Martin, B, Palusma, D, Smith, S, Zivny, S

    Published 2021
    “…Schloss Dagstuhl…”
    Conference item
  15. 75
    On affine reachability problems

    On affine reachability problems by Jaax, S, Kiefer, S

    Published 2020
    “…Schloss Dagstuhl…”
    Conference item
  16. 76
    Stability in graphs and games

    Stability in graphs and games by Brázdil, T, Forejt, V, Kučera, A, Novotný, P

    Published 2016
    “…Schloss Dagstuhl…”
    Conference item
  17. 77
    Fractional coverings, greedy coverings, and rectifier networks

    Fractional coverings, greedy coverings, and rectifier networks by Chistikov, D, Iván, S, Lubiw, A, Shallit, J

    Published 2017
    “…Schloss Dagstuhl…”
    Conference item
  18. 78
    Proving the Herman-Protocol Conjecture

    Proving the Herman-Protocol Conjecture by Bruna, M, Grigore, R, Kiefer, S, Ouaknine, J, Worrell, J

    Published 2016
    “…Schloss Dagstuhl…”
    Conference item
  19. 79
    Büchi objectives in countable MDPs

    Büchi objectives in countable MDPs by Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P

    Published 2019
    “…Schloss Dagstuhl…”
    Conference item
  20. 80
    Equilibrium design for concurrent games

    Equilibrium design for concurrent games by Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M

    Published 2019
    “…Schloss Dagstuhl…”
    Conference item

Search Tools: