Showing 1 - 2 results of 2 for search 'Inala, Jeevana Priya', query time: 0.04s Refine Results
  1. 1
    Synthesis of domain specific CNF encoders for bit-vector solvers
    by Inala, Jeevana Priya
    Published 2016
    Get full text
    Others
  2. 2
    Synthesis of Recursive ADT Transformations from Reusable Templates
    Other Authors: “...Inala, Jeevana Priya...”
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search