Exploiting hierarchical encodings of equality to design independent strategies in parallel SMT decision procedures for a logic of equality


With the number of processor cores in modern CPUs growing exponentially, it is expected that CPUs will have on the order of a hundred cores in the next 5 – 7 years. Thus, the need to implement parallel SMT decision procedures to utilize the increasing number of cores. We study a method to design independent strategies for a portfolio of parallel independent… (More)
DOI: 10.1109/HLDVT.2009.5340184

3 Figures and Tables


  • Presentations referencing similar topics