Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
2009 IEEE 20th International Symposium on Personal, Indoor and Mobile Radio Communications, 2009, p.3035-3039
2009

Attacking Bivium Using SAT Solvers
Theory and Applications of Satisfiability Testing – SAT 2008, p.63-76
Link zum Volltext
Aktive Filter
PublikationsformTagungsberichte