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
Aktive Filter
KollektionElsevier ScienceDirect Journals Complete
KollektionIngentaConnect Journals
KollektionJSTOR Complete
KollektionNature Journals
PublikationsformBücher
PublikationsformDatensätze
ThemaHumans
KollektionSpringerLink Series