I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Interpolant generation without constructing resolution grap:

, In: Proceedings of the 2009 International Conference on Computer-Aided Design,
Hsu, Chih-Jen ; Huang, Shao-Lun ; Wu, Chi-An. - p. 9-12 , 2009
Link: https://dl.acm.org/doi/10.1145/1687399.1687402