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

To SAT or not to SAT : Ashenhurst decomposition in a lar..:

, In: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design,
Lin, Hsuan-Po ; Jiang, Jie-Hong R. ; Lee, Ruei-Rung - p. 32-37 , 2008
Link: https://dl.acm.org/doi/10.5555/1509456.1509476