Search Results - Reitwießner, Christian

  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    Parsing Boolean grammars over a one-letter alphabet using online convolution

    Parsing Boolean grammars over a one-letter alphabet using online convolution by Okhotin, Alexander, Reitwießner, Christian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Conjunctive grammars with restricted disjunction

    Conjunctive grammars with restricted disjunction by Okhotin, Alexander, Reitwießner, Christian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    The shrinking property for NP and coNP

    The shrinking property for NP and coNP by Glaßer, Christian, Reitwießner, Christian, Selivanov, Victor

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Satisfiability of algebraic circuits over sets of natural numbers

    Satisfiability of algebraic circuits over sets of natural numbers by Glaßer, Christian, Reitwießner, Christian, Travers, Stephen, Waldherr, Matthias

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Equivalence Problems for Circuits over Sets of Natural Numbers

    Equivalence Problems for Circuits over Sets of Natural Numbers by Glaßer, Christian, Herr, Katrin, Reitwießner, Christian, Travers, Stephen, Waldherr, Matthias

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    The shrinking property for NP and coNP

    The shrinking property for NP and coNP by GLASSER, Christian, REITWIESSNER, Christian, SELIVANOV, Victor

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A scalable verification solution for blockchains

    A scalable verification solution for blockchains by Teutsch, Jason, Reitwießner, Christian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    A Predictable Incentive Mechanism for TrueBit

    A Predictable Incentive Mechanism for TrueBit by Koch, Julia, Reitwiessner, Christian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Applications of Discrepancy Theory in Multiobjective Approximation

    Applications of Discrepancy Theory in Multiobjective Approximation by Glaßer, Christian, Reitwießner, Christian, Witek, Maximilian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Balanced Combinations of Solutions in Multi-Objective Optimization

    Balanced Combinations of Solutions in Multi-Objective Optimization by Glaßer, Christian, Reitwießner, Christian, Witek, Maximilian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: