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

A massively-parallel easily-scalable satisfiability solver ..:

, In: Proceedings of the 36th annual ACM/IEEE Design Automation Conference,
Abramovici, Miron ; de Sousa, Jose T. ; Saab, Daniel - p. 684-690 , 1999
Link: https://dl.acm.org/doi/10.1145/309847.310028