Showing 1 - 2 results of 2 for search 'Valeriy Balabanov', query time: 0.05s Refine Results
  1. 1
    Unified Certification of Quantified Boolean Formula Evaluation
    by Valeriy Balabanov, 包偉力
    Published 2011
    Get full text
    Others
  2. 2
    Certification in Quantified Decision Procedures
    by Valeriy Balabanov, 包偉力
    Published 2015
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search