Showing 1 - 2 results of 2 for search 'Giacobazzi, R', query time: 0.02s Refine Results
  1. 1
    Abstract conflict driven learning.

    Abstract conflict driven learning. by D'Silva, V, Haller, L, Kroening, D

    Published 2013
    Other Authors: “…Giacobazzi, R…”
    Conference item
  2. 2
    An abstract interpretation of DPLL(T)

    An abstract interpretation of DPLL(T) by Brain, M, D'Silva, V, Haller, L, Griggio, A, Kroening, D

    Published 2013
    Other Authors: “…Giacobazzi, R…”
    Conference item

Search Tools: