Export
1
Revisiting Decision Diagrams for SAT:
Dijk, Tom van
;
Ehlers, Rüdiger
;
Biere, Armin
, 9 May 2018
Link:
https://arxiv.org/abs/1805.03496
RT Book, Whole T1
Revisiting Decision Diagrams for SAT
UL https://suche.suub.uni-bremen.de/peid=B102428955&Exemplar=1&LAN=DE A1 Dijk, Tom van A1 Ehlers, Rüdiger A1 Biere, Armin PB [Verlag nicht ermittelbar] PP [Erscheinungsort nicht ermittelbar] YR 2018 NO 1 Online-Ressource (7 ungezählte Seiten) : Tabellen LK http://https://arxiv.org/abs/1805.03496 SF ELIB - SuUB Bremen