Lib
ron
Gesamtbestand
Neuzugänge
Erweiterte Suche
Schriftgröße
A−
A
A+
Darstellung
Clean
Warm
Dark
Deep dark
„limited backtracking“
Suchergebnisse
1 Treffer
A Linear Time Algorithm for Quantum 2-SAT
de Beaudrap, Niel ; Gharibian, Sevag
2016
Schloss Dagstuhl – Leibniz-Zentrum für Informatik