Showing 1 - 2 results of 2 for search 'Carsten Sinz', query time: 0.11s Refine Results
  1. 1
    An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas
    by Olga Tveretina, Carsten Sinz, Hans Zantema
    Published 2009-09-01
    Get full text
    Article
  2. 2
    The SoftWipe tool and benchmark for assessing coding standards adherence of scientific software
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search