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...
Attacking Bivium Using SAT Solvers
Theory and Applications of Satisfiability Testing – SAT 2008, p.63-76
Link zum Volltext

Optimising Gröbner Bases on Bivium
Mathematics in computer science, 2010-04, Vol.3 (2), p.159-172
2010
Link zum Volltext