Showing 1 - 1 results of 1 for search 'Sinz, C', query time: 0.02s Refine Results
  1. 1
    A First Step Towards a Unified Proof Checker for QBF

    A First Step Towards a Unified Proof Checker for QBF by Jussila, T, Biere, A, Sinz, C, Kroening, D, Wintersteiger, C

    Published 2007
    Conference item

Search Tools: