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

Incremental Linearization for Satisfiability and Verificati..:

Cimatti, Alessandro ; Griggio, Alberto ; Irfan, Ahmed..
ACM Transactions on Computational Logic (TOCL).  19 (2018)  3 - p. 1-52 , 2018
Link: https://dl.acm.org/doi/10.1145/3230639